Real Logic is Nonmonotonic.

Henry E. Kyburg Jr.

Published in: Minds Mach. (2001)

Keyphrases

logic programming
nonmonotonic logics
modal logic
defeasible logic
nonmonotonic reasoning
abductive reasoning
artificial intelligence
computational properties
logic programs
real life
knowledge base
default logic
classical logic
image sequences
information systems
real world
sound and complete axiomatization