DBLP:conf/aaai/CadoliL90 + redirect page
The Complexity of Closed World Reasoning and Circumscription + Has identifier
| The Complexity of Closed World Reasoning and Circumscription |
Has publishing details
pp. 550-555, 1990
Has title
The Complexity of Closed World Reasoning and Circumscription
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai90.html#CadoliL90
Has where published
AAAI
Has year
1990
Has author
Marco Cadoli +, Maurizio Lenzerini +
Has identifier
The Complexity of Closed World Reasoning and Circumscription +
Categories Proceeding Paper +
|
