Answer Set Programming from a Logical Point of View
- 13 June 2018
- journal article
- research article
- Published by Springer Nature in KI - Künstliche Intelligenz
- Vol. 32 (2-3) , 109-118
Abstract
No abstract availableKeywords
Funding Information
- Xunta de Galicia (GPC ED431B 2016/035, 2016-2019 ED431G/01)
- Ministerio de Economia, Industria y ompetitividad (TIN2015-70266-C2-1-P)
- Universidad Politécnica de Madrid (RP151046021)
This publication has 39 references indexed in Scilit:
- Logic programs with propositional connectives and aggregatesACM Transactions on Computational Logic, 2011
- A semantical framework for hybrid knowledge basesKnowledge and Information Systems, 2010
- Equilibrium logicAnnals of Mathematics and Artificial Intelligence, 2006
- Strongly equivalent logic programsACM Transactions on Computational Logic, 2001
- Stable inference as intuitionistic validityThe Journal of Logic Programming, 1999
- A new logical characterisation of stable models and answer sets1997
- Identity and existence in intuitionistic logic1979
- On intermediate many-valued logics.Journal of the Mathematical Society of Japan, 1959
- Constructible falsityThe Journal of Symbolic Logic, 1949
- Some theorems about the sentential calculi of Lewis and HeytingThe Journal of Symbolic Logic, 1948