Results 21 to 30 of about 1,501,850 (327)
Property Invariant Embedding for Automated Reasoning [PDF]
European Conference on Artificial Intelligence, 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 ...
M. Olsák, C. Kaliszyk, J. Urban
semanticscholar +3 more sources
Learning-Assisted Automated Reasoning with Flyspeck [PDF]
Journal of Automated Reasoning, 2014 The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs) and machine-learning premise selection methods trained on the proofs, producing an AI system capable of answering a wide range of mathematical queries automatically.
Kaliszyk, C., Urban, J.
openaire +5 more sources
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
Automated reasoning-alternative methods [PDF]
Serbian Journal of Electrical Engineering, 2004 Our main goal is to describe a potential usage of the interpretation method (i.e. formal representation of one first order theory into another) together with quantifier elimination procedures developed in the GIS.
Perović Aleksandar +3 more
doaj +2 more sources
Identifying novel drug indications through automated reasoning. [PDF]
PLoS ONE, 2012 With the large amount of pharmacological and biological knowledge available in literature, finding novel drug indications for existing drugs using in silico approaches has become increasingly feasible.
Luis Tari +5 more
doaj +2 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
Automated Reasoning with Restricted Intensional Sets [PDF]
Journal of automated reasoning, 2019 Intensional sets, i.e., sets given by a property rather than by enumerating elements, are widely recognized as a key feature to describe complex problems (see, e.g., specification languages such as B and Z).
M. Cristiá, G. Rossi
semanticscholar +2 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. This article focuses on such a spectrum, featuring W.
Wos, Larry
openaire +5 more sources
Automated reasoning for attributed graph properties [PDF]
International Journal on Software Tools for Technology Transfer, 2018 Graphs are ubiquitous in computer science. Moreover, in various application fields, graphs are equipped with attributes to express additional information such as names of entities or weights of relationships. Due to the pervasiveness of attributed graphs, it is highly important to have the means to express properties on attributed graphs to strengthen ...
Sven Schneider, Leen Lambers, F. Orejas
semanticscholar +6 more sources