Stable models of formulas with generalized quantifiers (preliminary report)
From MaRDI portal
Publication:5398043
DOI10.4230/LIPICS.ICLP.2012.61zbMATH Open1281.68149MaRDI QIDQ5398043FDOQ5398043
Authors: Joohyung Lee, Yunsong Meng 
Publication date: 25 February 2014
Recommendations
- Supportedly stable answer sets for logic programs with generalized atoms
- Stable models for infinitary formulas with extensional atoms
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
- Chain answer sets for logic programs with generalized atoms
- On Reductive Semantics of Aggregates in Answer Set Programming
Knowledge representation (68T30) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)
Cited In (6)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
- Safe Formulas in the General Theory of Stable Models (Preliminary Report)
- On equivalence of infinitary formulas under the stable model semantics
- Chain answer sets for logic programs with generalized atoms
- Integrating rules and ontologies in the first-order stable model semantics (preliminary report)
- Stable models for infinitary formulas with extensional atoms
This page was built for publication: Stable models of formulas with generalized quantifiers (preliminary report)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398043)
