Logic-based technologies for multi-agent systems: a systematic literature review

R Calegari, G Ciatto, V Mascardi, A Omicini - Autonomous Agents and …, 2021 - Springer
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 …

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 …

[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 …

AI applications of data sharing in agriculture 4.0: A framework for role-based data access control

K Spanaki, E Karafili, S Despoudi - International Journal of Information …, 2021 - Elsevier
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 …

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 …

[BUCH][B] Handbook of constraint programming

F Rossi, P Van Beek, T Walsh - 2006 - books.google.com
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Inductive logic programming: Theory and methods

S Muggleton, L De Raedt - The Journal of Logic Programming, 1994 - Elsevier
Abstract Inductive Logic Programming (ILP) is a new discipline which investigates the
inductive construction of first-order clausal theories from examples and background …

Bridging machine learning and logical reasoning by abductive learning

WZ Dai, Q Xu, Y Yu, ZH Zhou - Advances in Neural …, 2019 - proceedings.neurips.cc
Perception and reasoning are two representative abilities of intelligence that are integrated
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 …

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 …