Logic-based technologies for multi-agent systems: a systematic literature review
Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …
them be identified with the whole AI by many non-computer-scientists and non-technical …
Ambient intelligence: A survey
F Sadri - ACM Computing Surveys (CSUR), 2011 - dl.acm.org
In this article we survey ambient intelligence (AmI), including its applications, some of the
technologies it uses, and its social and ethical implications. The applications include AmI at …
technologies it uses, and its social and ethical implications. The applications include AmI at …
[BUCH][B] Abductive reasoning
A Aliseda - 2006 - Springer
The general purpose of this chapter is to provide a critical analysis on the controversial
enterprise of 'logics of discovery'. It is naturally divided into six parts. After this introduction, in …
enterprise of 'logics of discovery'. It is naturally divided into six parts. After this introduction, in …
AI applications of data sharing in agriculture 4.0: A framework for role-based data access control
Industry 4.0 and the associated IoT and data applications are evolving rapidly and expand in
various fields. Industry 4.0 also manifests in the farming sector, where the wave of …
various fields. Industry 4.0 also manifests in the farming sector, where the wave of …
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
PM Dung - Artificial intelligence, 1995 - Elsevier
The purpose of this paper is to study the fundamental mechanism, humans use in
argumentation, and to explore ways to implement this mechanism on computers. We do so …
argumentation, and to explore ways to implement this mechanism on computers. We do so …
[BUCH][B] Handbook of constraint programming
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …
that draws on a wide range of techniques from artificial intelligence, computer science …
Inductive logic programming: Theory and methods
Abstract Inductive Logic Programming (ILP) is a new discipline which investigates the
inductive construction of first-order clausal theories from examples and background …
inductive construction of first-order clausal theories from examples and background …
Bridging machine learning and logical reasoning by abductive learning
Perception and reasoning are two representative abilities of intelligence that are integrated
seamlessly during human problem-solving processes. In the area of artificial intelligence …
seamlessly during human problem-solving processes. In the area of artificial intelligence …
[BUCH][B] Knowledge Representation and Reasoning
RJ Brachman - 2004 - books.google.com
A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …
Inverse entailment and Progol
S Muggleton - New generation computing, 1995 - Springer
This paper firstly provides a re-appraisal of the development of techniques for inverting
deduction, secondly introduces Mode-Directed Inverse Entailment (MDIE) as a …
deduction, secondly introduces Mode-Directed Inverse Entailment (MDIE) as a …