Results 11 to 20 of about 348,999 (338)
Automated Reasoning in Deontic Logic [PDF]
, 2014 Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL ...
Ulrich Furbach +2 more
openalex +6 more sources
Establishing trust in automated reasoning
, 2023 Since its beginnings in the 1940s, automated reasoning by computers has become a tool of ever growing importance in scientific research. So far, the rules underlying automated reasoning have mainly been formulated by humans, in the form of program source code.
Konrad Hinsen
openalex +5 more sources
caspo: a toolbox for automated reasoning on the response of logical signaling networks families. [PDF]
Bioinformatics, 2017 Videla S +3 more
europepmc +3 more sources
A Spectrum of Applications of Automated Reasoning
, 2002 The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers on which to base needed strategies and methodologies.
Wos, Larry
core +4 more sources
Modeling the C. elegans germline stem cell genetic network using automated reasoning.
Biosystems, 2022 Amar A, Hubbard EJA, Kugler H.
europepmc +2 more sources
Survey on Automatic Tuning of Compilers by Machine Learning [PDF]
Jisuanji kexue, 2022 Modern compilers offer many optimization options.It is a complex problem to choose which parameter values,which combination of options and in which order to apply these options.Among them,the optimization phase ordering is the most dif-ficult one.With ...
CHI Hao-yu, CHEN Chang-bo
doaj +1 more source
Property Invariant Embedding for Automated Reasoning
, 2019 Automated reasoning and theorem proving have recently become major challenges for machine learning. In other domains, representations that are able to abstract over unimportant transformations, such as abstraction over translations and rotations in vision, are becoming more common.
Miroslav Olšák +2 more
openalex +4 more sources
Frontiers in Computational Neuroscience, 2021 The emerging topic of privacy-preserving deep learning as a service has attracted increasing attention in recent years, which focuses on building an efficient and practical neural network prediction framework to secure client and model-holder data ...
Yanan Bai +5 more
doaj +1 more source
Fast and Clean: Auditable high-performance assembly via constraint solving
Transactions on Cryptographic Hardware and Embedded Systems, 2023 Handwritten assembly is a widely used tool in the development of highperformance cryptography: By providing full control over instruction selection, instruction scheduling, and register allocation, highest performance can be unlocked.
Amin Abdulrahman +3 more
doaj +1 more source
A Method for Expanding Predicates and Rules in Automated Geometry Reasoning System
Mathematics, 2022 Predicates and rules are usually enclosed as built-in functions in automated geometry reasoning systems, meaning users cannot add any predicate or rule, thus resulting in a limited reasoning capability of the systems.
Yongsheng Rao +4 more
doaj +1 more source