Nonmonotonic Reasoning: From Complexity to Algorithms.

Claudette Cayrol Marie-Christine Lagasquie-Schiex Thomas Schiex

Published in: Ann. Math. Artif. Intell. (1998)

Keyphrases

nonmonotonic reasoning
computational complexity
worst case
belief revision
default logic
default reasoning
logic programming