Default logic and specification of nonmonotonic reasoning
From MaRDI portal
Publication:4784341
DOI10.1080/09528130010025374zbMath1008.03020OpenAlexW4229742000MaRDI QIDQ4784341
Miroslaw Truszczynski, Jan Treur, Joeri Engelfriet, Victor W. Marek
Publication date: 7 April 2003
Full work available at URL: https://doi.org/10.1080/09528130010025374
representabilityreasoning frameformation of belief sets by agentsinfinitary default logicreasoning trace
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items (1)
This page was built for publication: Default logic and specification of nonmonotonic reasoning