Login / Signup
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