DBLP:conf/aaai/AntoniouL94 + redirect page
Soundness and Completeness of a Logic Programming Approach to Default Logic + Has identifier
| Soundness and Completeness of a Logic Programming Approach to Default Logic |
Has publishing details
pp. 934-939, 1994
Has title
Soundness and Completeness of a Logic Programming Approach to Default Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai94-2.html#AntoniouL94
Has where published
AAAI
Has year
1994
Has author
Grigoris Antoniou +, Elmar Langetepe +
Has identifier
Soundness and Completeness of a Logic Programming Approach to Default Logic +
Categories Proceeding Paper +
|
