Seminormal stratified default theories
From MaRDI portal
Publication:1380425
DOI10.1007/BF02127969zbMath0887.03020MaRDI QIDQ1380425
Publication date: 4 March 1998
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
68T30: Knowledge representation
Cites Work