Computing Protected Circumscription.

Jack Minker Donald Perlis

Published in: J. Log. Program. (1985)

Keyphrases

database
logic programs
logic programming
situation calculus
theorem prover
default logic
event calculus
nonmonotonic logics
web services
high level
artificial neural networks
default reasoning