Local Logics, Non-Monotonicity and Defeasible Argumentation.

Gustavo Adrian Bodanza Fernando A. Tohmé

Published in: J. Log. Lang. Inf. (2005)

Keyphrases

defeasible argumentation
logic programming
classical logic
expressive power
defeasible logic programming
logic programs
default logic
argumentation theory
inference rules
modal logic
cooperative
knowledge representation
nonmonotonic reasoning
knowledge base
high level