{"type":"ScholarlyArticle","title":"From Answer Set Logic Programming to Circumscription via Logic of GK","authors":[{"name":"Fangzhen Lin","slug":"fangzhen-lin","given":"Fangzhen","family":"Lin","affiliation":""},{"name":"Yi Zhou","slug":"yi-zhou","given":"Yi","family":"Zhou","affiliation":""}],"abstract":"We first provide a mapping from Pearce's equilibrium logic and Ferraris and Lifschitz's general logic programs to Lin and Shoham's logic of knowledge and justified assumptions, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional case and Moore's autoepistemic logic. From this mapping, we obtain a mapping from general logic programs to circumscription, both in the propositional and first-order case. Furthermore, we show that this mapping can be used to check the strong equivalence between two propositional logic programs in classical logic.","doi":null,"url":"https://ijcai.org/proceedings/2007/69","pdf":"https://ijcai.org/proceedings/2007/0069.pdf","markdown":"https://ijcai.org/proceedings/2007/69.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/69","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":69,"pages":{"first":441,"last":445},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}