Projection and scope-determined circumscription.

Christoph Wernhard

Published in: J. Symb. Comput. (2012)

Keyphrases

logic programs
default reasoning
default logic
commonsense knowledge
situation calculus
answer sets
minimal models
fixed point
theorem prover
projection method