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 …

[BOOK][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
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 …

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

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

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 …

[BOOK][B] Neural-symbolic cognitive reasoning

ASDA Garcez, LC Lamb, DM Gabbay - 2008 - books.google.com
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 …

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

Nonmonotonic reasoning

G Brewka, I Niemelä, M Truszczyński - Foundations of Artificial Intelligence, 2008 - Elsevier
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 …

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 …

Generics and defaults

FJ Pelletier, N Asher - Handbook of logic and language, 1997 - Elsevier
Publisher Summary The full range of linguistic and semantic phenomena involving generics
is examined in the chapter. The chapter distinguishes generic reference from generic …