Results 41 to 50 of about 348,999 (338)
GO faster ChEBI with Reasonable Biochemistry [PDF]
, 2008 Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created new opportunities for automated reasoning with description logic, that ...
Duncan Hull
core +2 more sources
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet
IEEE Access, 2019 This paper offers a new practical approach toward automated commonsense reasoning with first-order logic (FOL) SUMO-based ontologies. We propose a new black-box evaluation framework for SUMO-based ontologies, which exploits the world knowledge encoded in
Javier Alvez, Paqui Lucio, German Rigau
doaj +1 more source
Symbolic execution proofs for higher order store programs [PDF]
, 2014 Higher order store programs are programs which store, manipulate and invoke code at runtime. Important examples of higher order store programs include operating system kernels which dynamically load and unload kernel modules.
Charlton, Nathaniel +2 more
core +1 more source
POLITICS: Automated ideological reasoning [PDF]
Cognitive Science, 1978 POLITICS is a system of computer programs which simulates humans in comprehending and responding to world events from a given political or ideological perspective. The primary theoretical motivations were: (1) the implemention of a functional system which applies the knowledge structures of Schank and Abelson (1977) to the domain of simulating ...
openaire +2 more sources
Applications of Automated Reasoning [PDF]
, 2007 This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
Furbach, Ulrich (Prof. Dr.) +1 more
openaire +2 more sources
Premise Selection and External Provers for HOL4 [PDF]
, 2015 Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine ...
Farmer W. M. +7 more
core +1 more source
Knowledge-Based Decision Support in Healthcare via Near Field Communication
Sensors, 2020 The benefits of automatic identification technologies in healthcare have been largely recognized. Nevertheless, unlocking their potential to support the most knowledge-intensive medical tasks requires to go beyond mere item identification.
Giuseppe Loseto +6 more
doaj +1 more source
The "never-proved" triangle inequality: A GeoGebra & CAS approach
AIMS Mathematics, 2023 We use a quite simple, yet challenging, elementary geometry statement, the so-called "never proved" (by a mathematician) theorem, introduced by Prof.
Zoltán Kovács +3 more
doaj +1 more source
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) [PDF]
arXiv, 2022 LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-purpose standards for the interaction with automated reasoning systems.
arxiv
Machine Ethics and Automated Vehicles [PDF]
In: Meyer G., Beiker S. (eds) Road Vehicle Automation. Lecture
Notes in Mobility. Springer, Cham (2014), 2020 Road vehicle travel at a reasonable speed involves some risk, even when using computer-controlled driving with failure-free hardware and perfect sensing. A fully-automated vehicle must continuously decide how to allocate this risk without a human driver's oversight.
arxiv +1 more source