Nonmonotonic Reasoning in the Framework of Situation Calculus.

Andrew B. Baker

Published in: Artif. Intell. (1991)

Keyphrases

nonmonotonic reasoning
situation calculus
default reasoning
logic programming
default logic
taxonomic reasoning
high level
belief revision
extended logic programs
expert systems
modal logic
deductive databases
nonmonotonic logics