Login / Signup
Some results on default logic.
Mingyi Zhang
Published in:
J. Comput. Sci. Technol. (1994)
Keyphrases
</>
default logic
default theories
default reasoning
logic programming
nonmonotonic reasoning
autoepistemic logic
default rules
fixed point
extended logic programs
nonmonotonic logics
modal logic
defeasible logic
databases
temporal reasoning
logic programs
markov random field
high level
artificial intelligence