Login / Signup

Computing Protected Circumscription.

Jack MinkerDonald 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