Inproceedings,

Is There a Logic of Provability for Nonmonotonic Reasoning?

, and .
KR, page 493-503. Morgan Kaufmann, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews