DBLP:conf/aaai/GelfondL88 + redirect page
Compiling Circumscriptive Theories into Logic Programs + Has identifier
| Compiling Circumscriptive Theories into Logic Programs |
Has publishing details
pp. 455-449, 1988
Has title
Compiling Circumscriptive Theories into Logic Programs
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai88.html#GelfondL88
Has where published
AAAI
Has year
1988
Has author
Michael Gelfond +, Vladimir Lifschitz +
Has identifier
Compiling Circumscriptive Theories into Logic Programs +
Categories Proceeding Paper +
|
