DBLP:conf/ijcai/KarthaL95 + redirect page
A Simple Formalization of Actions Using Circumscription + Has identifier
| A Simple Formalization of Actions Using Circumscription |
Has publishing details
pp. 1970-1977, 1995
Has title
A Simple Formalization of Actions Using Circumscription
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai95.html#KarthaL95
Has where published
IJCAI
Has year
1995
Has author
G. Neelakantan Kartha +, Vladimir Lifschitz +
Has identifier
A Simple Formalization of Actions Using Circumscription +
Categories Proceeding Paper +
|
