{"type":"ScholarlyArticle","title":"Epistemic Equilibrium Logic","authors":[{"name":"Luis Fariñas del Cerro","slug":"luis-farinas-del-cerro","given":"Luis","family":"Fariñas del Cerro","affiliation":""},{"name":"Andreas Herzig","slug":"andreas-herzig","given":"Andreas","family":"Herzig","affiliation":""},{"name":"Ezgi Iraz Su","slug":"ezgi-iraz-su","given":"Ezgi Iraz","family":"Su","affiliation":""}],"abstract":"We add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models. We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an epistemic extension of that logic. The latter are obtained from the former by maximising the set of epistemic possibilities; they provide a new semantics for Gelfond’s epistemic specifications.","doi":null,"url":"https://ijcai.org/proceedings/2015/419","pdf":"https://ijcai.org/proceedings/2015/0419.pdf","markdown":"https://ijcai.org/proceedings/2015/419.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/419","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":419,"pages":{"first":2964,"last":2969},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}