A Framework for Nonmonotonic Reasoning with Rule Priorities.

Masato Shibasaki Katsumi Nitta

Published in: J. Adv. Comput. Intell. Intell. Informatics (1998)

Keyphrases

nonmonotonic reasoning
logic programming
commonsense reasoning
default reasoning
extended logic programs
artificial intelligence
software engineering
belief revision
rule sets
event calculus
autoepistemic logic