DBLP:conf/ijcai/AttardiS81 + redirect page
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation + Has identifier
| Consistency and Completeness of OMEGA, a Logic for Knowledge Representation |
Has publishing details
pp. 504-510, 1981
Has title
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai81.html#AttardiS81
Has where published
IJCAI
Has year
1981
Has author
Giuseppe Attardi +, Maria Simi +
Has identifier
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation +
Categories Proceeding Paper +
|
