Results 31 to 40 of about 348,999 (338)
Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning. [PDF]
PLoS ONE, 2011 Researchers design ontologies as a means to accurately annotate and integrate experimental data across heterogeneous and disparate data- and knowledge bases.
Robert Hoehndorf +5 more
doaj +1 more source
Qualitative Mechanical Problem-Solving by Artificial Agents:
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative mechanical problem-solving (QMPS) is central to human-level intelligence. Human agents use their capacity for such problem-solving to succeed in tasks as routine as opening the tap to drink or hanging a picture on the wall, as well as for ...
Shreya Banerjee +3 more
doaj +1 more source
Time in Automated Legal Reasoning [PDF]
Information & Communications Technology Law, 1998 Abstract Despite the ubiquity of time and temporal references in legal texts, their formalization has often been either disregarded or addressed in an ad hoc manner. In this paper we address this issue from the standpoint of the research done on temporal representation and reasoning in AI.
Vila, Lluis, Yoshino, Hajime
openaire +3 more sources
LPG-Based Knowledge Graphs: A Survey, a Proposal and Current Trends
Information, 2023 A significant part of the current research in the field of Artificial Intelligence is devoted to knowledge bases. New techniques and methodologies are emerging every day for the storage, maintenance and reasoning over knowledge bases.
Davide Di Pierro +2 more
doaj +1 more source
Automated Reasoning on Feature Models [PDF]
, 2005 Premio Mensual Publicación Científica Destacada de la US.
Benavides Cuevas, David Felipe +2 more
openaire +4 more sources
Automated Reasoning and Learning for Automated Payroll Management [PDF]
Proceedings of the AAAI Conference on Artificial Intelligence, 2021 While payroll management is a crucial aspect of any business venture, anticipating the future financial impact of changes to the payroll policy is a challenging task due to the complexity of tax legislature. The goal of this work is to automatically explore potential payroll policies and find the optimal set of policies that satisfies the user's needs.
Dumancic, Sebastijan +5 more
openaire +1 more source
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
Journal of Applied Mathematics, 2013 We propose an approach for constructing Lyapunov function in quadratic form of a differential system. First, positive polynomial system is obtained via the local property of the Lyapunov function as well as its derivative.
Zhenyi Ji +3 more
doaj +1 more source
Argument & Computation, 2021 A paramount, yet unresolved issue in personalised medicine is that of automated reasoning with clinical guidelines in multimorbidity settings. This entails enabling machines to use computerised generic clinical guideline recommendations and patient-
Kristijonas Čyras +3 more
doaj +1 more source
PyZX: Large Scale Automated Diagrammatic Reasoning
, 2020 The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits.
Kissinger, Aleks, van de Wetering, John
core +1 more source
ATP and Presentation Service for Mizar Formalizations [PDF]
, 2012 This paper describes the Automated Reasoning for Mizar (MizAR) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and its authoring environment.
Rudnicki, Piotr +2 more
core +2 more sources