scientific article; zbMATH DE number 6139988
From MaRDI portal
Publication:4906886
zbMath1259.68186arXiv1108.3278MaRDI QIDQ4906886
Marc Denecker, Miroslaw Truszczynski, Victor W. Marek
Publication date: 28 February 2013
Full work available at URL: https://arxiv.org/abs/1108.3278
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
autoepistemic logicsReiter's default logicautoepistemic propositionsinformal defaultsMoore's intuitionsReiter's formal defaults
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (3)
The Truth about Defaults ⋮ Safe inductions and their applications in knowledge representation ⋮ Grounded fixpoints and their applications in knowledge representation
This page was built for publication:
