New Insights on the Intuitionistic Interpretation of Default Logic.

Pedro Cabalar David Lorenzo

Published in: ECAI (2004)

Keyphrases

default logic
classical logic
default theories
logic programming
nonmonotonic reasoning
default reasoning

default rules
nonmonotonic logics
autoepistemic logic
linear logic
fixed point
modal logic

extended logic programs
high level
commonsense reasoning
data mining
theorem prover
logic programs

state space
database systems
artificial intelligence
truth maintenance systems
databases