---
title: "From Answer Set Logic Programming to Circumscription via Logic of GK"
authors:
  - "Fangzhen Lin"
  - "Yi Zhou"
doi: ""
url: "https://ijcai.org/proceedings/2007/69"
pdf: "https://ijcai.org/proceedings/2007/0069.pdf"
venue: "Proceedings of the Twentieth International Joint Conference on Artificial Intelligence"
year: 2007
pages: "441-445"
track: ""
keywords:
---

# From Answer Set Logic Programming to Circumscription via Logic of GK

Fangzhen Lin, Yi Zhou

*Proceedings of the Twentieth International Joint Conference on Artificial Intelligence*, pages 441-445.

## 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.