DBLP:conf/ijcai/ReinfrankDB89 + redirect page
On the Relation Between Truth Maintenance and Autoepistemic Logic + Has identifier
| On the Relation Between Truth Maintenance and Autoepistemic Logic |
Has publishing details
pp. 1206-1212, 1989
Has title
On the Relation Between Truth Maintenance and Autoepistemic Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#ReinfrankDB89
Has where published
IJCAI
Has year
1989
Has author
Michael Reinfrank +, Oskar Dressler +, Gerhard Brewka +
Has identifier
On the Relation Between Truth Maintenance and Autoepistemic Logic +
Categories Proceeding Paper +
|
