Inproceedings,

A Theorem Prover for Prioritized Circumscription.

, and .
IJCAI, page 463-467. Morgan Kaufmann, (1989)

Meta data

Tags

Users

  • @machinelearning
  • @dblp

Comments and Reviews