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 …
[BOOK][B] Handbook of knowledge representation
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
[BOOK][B] Neural-symbolic learning systems
AS d'Avila Garcez, LC Lamb, DM Gabbay - 2009 - Springer
This chapter introduces the basics of neural-symbolic systems used thoughout the book. A
brief bibliographical review is also presented. Neural-symbolic systems have become a very …
brief bibliographical review is also presented. Neural-symbolic systems have become a very …
[BOOK][B] Nonmonotonic reasoning: logical foundations of commonsense
G Brewka - 1991 - books.google.com
In this book the author gives a broad overview of different areas of research in
nonmonotonic reasoning, and presents some new results and ideas based on his research …
nonmonotonic reasoning, and presents some new results and ideas based on his research …
A tutorial on default logics
G Antoniou - ACM Computing Surveys (CSUR), 1999 - dl.acm.org
Default logic is one of the most prominent approaches to nonmonotonic reasoning, and
allows one to make plausible conjectures when faced with incomplete information about the …
allows one to make plausible conjectures when faced with incomplete information about the …
[BOOK][B] Neural-symbolic cognitive reasoning
Humans are often extraordinary at performing practical reasoning. There are cases where
the human computer, slow as it is, is faster than any artificial intelligence system. Are we …
the human computer, slow as it is, is faster than any artificial intelligence system. Are we …
[BOOK][B] Theory of knowledge: structures and processes
M Burgin - 2016 - books.google.com
This book aims to synthesize different directions in knowledge studies into a unified theory of
knowledge and knowledge processes. It explicates important relations between knowledge …
knowledge and knowledge processes. It explicates important relations between knowledge …
Nonmonotonic reasoning
Publisher Summary Classic logic is monotonic in the following sense: whenever a sentence
A is a logical consequence of a set of sentences T, A is also a consequence of an arbitrary …
A is a logical consequence of a set of sentences T, A is also a consequence of an arbitrary …
Graph theoretical structures in logic programs and default theories
Y Dimopoulos, A Torres - Theoretical Computer Science, 1996 - Elsevier
In this paper we present a graph representation of logic programs and default theories. We
show that many of the semantics proposed for logic programs with negation can be …
show that many of the semantics proposed for logic programs with negation can be …
Generics and defaults
Publisher Summary The full range of linguistic and semantic phenomena involving generics
is examined in the chapter. The chapter distinguishes generic reference from generic …
is examined in the chapter. The chapter distinguishes generic reference from generic …