Results 21 to 30 of about 1,200,969 (291)
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
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
Automated reasoning with uncertainties [PDF]
, 1994 In this work we assume that uncertainty is a multifaceted concept and present a system for automated reasoning with multiple representations of uncertainty.
Flávio S. Corrêa da Silva +2 more
openaire +1 more source
Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (Preface) [PDF]
, 2022 Preface of the special issue of the Journal of Automated Reasoning in memory of Larry ...
Maria Paola Bonacina +1 more
core +1 more source
Hierarchical Document Classification Method Based on Improved Self-attention Mechanism and Representation Learning [PDF]
Jisuanji kexueAn essential task of document classification is to study how to effectively represent input features,and sentence and document vector representations can assist in downstream tasks in natural language processing,such as text sentiment analysis and data ...
LIAO Xingbin, QIAN Yangge, WANG Qianlei, QIN Xiaolin
doaj +1 more source
Verifiable Decryption Scheme Based on MLWE and MSIS [PDF]
Jisuanji kexueThe verifiable decryption technology involved in the two-party secure computing can be applied in real-world scenarios that require privacy protection,such as medical research data sharing,and inter-institutional cooperation for model training,which can ...
GUO Chuntong, WU Wenyuan
doaj +1 more source
Automated reasoning in non-classical logics in the TPTP world
, 2023 Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastructure for automated theorem proving, the TPTP World, currently supports only
Fuenmayor, David +4 more
core +1 more source
Automated reasoning for explainable artificial intelligence [PDF]
, 2017 Reasoning and learning have been considered fundamental features of intelligence ever since the dawn of the field of artificial intelligence, leading to the development of the research areas of automated reasoning and machine learning.
BONACINA, Maria Paola
core +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
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