Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Cabalar, Pedro
Pearce, David
and
Valverde, Agustín
2007.
Logic Programming.
Vol. 4670,
Issue. ,
p.
104.
Zhou, Yi
and
Zhang, Yan
2008.
Logics in Artificial Intelligence.
Vol. 5293,
Issue. ,
p.
416.
Truszczyński, Mirosław
2009.
Logic Programming.
Vol. 5649,
Issue. ,
p.
175.
PEARCE, DAVID
TOMPITS, HANS
and
WOLTRAN, STEFAN
2009.
Characterising equilibrium logic and nested logic programs: Reductions and complexity,.
Theory and Practice of Logic Programming,
Vol. 9,
Issue. 05,
p.
565.
Delgrande, James
Schaub, Torsten
Tompits, Hans
and
Woltran, Stefan
2009.
Logic Programming.
Vol. 5649,
Issue. ,
p.
160.
Cabalar, Pedro
2010.
Logics in Artificial Intelligence.
Vol. 6341,
Issue. ,
p.
64.
Truszczyński, Miroslaw
2010.
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs.
Artificial Intelligence,
Vol. 174,
Issue. 16-17,
p.
1285.
Mints, Grigori
2010.
Cut-free formulations for a quantified logic of here and there.
Annals of Pure and Applied Logic,
Vol. 162,
Issue. 3,
p.
237.
FINK, MICHAEL
2011.
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There.
Theory and Practice of Logic Programming,
Vol. 11,
Issue. 2-3,
p.
171.
Ferraris, Paolo
2011.
Logic programs with propositional connectives and aggregates.
ACM Transactions on Computational Logic,
Vol. 12,
Issue. 4,
p.
1.
Fariñas del Cerro, Luis
and
Herzig, Andreas
2011.
Frontiers of Combining Systems.
Vol. 6989,
Issue. ,
p.
135.
Aguado, Felicidad
Cabalar, Pedro
Diéguez, Martín
Pérez, Gilberto
and
Vidal, Concepción
2013.
Temporal equilibrium logic: a survey.
Journal of Applied Non-Classical Logics,
Vol. 23,
Issue. 1-2,
p.
2.
Schwind, Nicolas
and
Inoue, Katsumi
2013.
Logic Programming and Nonmonotonic Reasoning.
Vol. 8148,
Issue. ,
p.
485.
2013.
Answer Set Solving in Practice.
Delgrande, James
Peppas, Pavlos
and
Woltran, Stefan
2013.
Logic Programming and Nonmonotonic Reasoning.
Vol. 8148,
Issue. ,
p.
264.
Delgrande, James
Schaub, Torsten
Tompits, Hans
and
Woltran, Stefan
2013.
A Model-Theoretic Approach to Belief Change in Answer Set Programming.
ACM Transactions on Computational Logic,
Vol. 14,
Issue. 2,
p.
1.
Eiter, Thomas
Fink, Michael
Pührer, Jörg
Tompits, Hans
and
Woltran, Stefan
2013.
Model-based recasting in answer-set programming.
Journal of Applied Non-Classical Logics,
Vol. 23,
Issue. 1-2,
p.
75.
SLOTA, MARTIN
and
LEITE, JOÃO
2014.
The rise and fall of semantic rule updates based onSE-models.
Theory and Practice of Logic Programming,
Vol. 14,
Issue. 6,
p.
869.
Fariñas del Cerro, Luis
Herzig, Andreas
and
Su, Ezgi Iraz
2014.
Capturing equilibrium models in modal logic.
Journal of Applied Logic,
Vol. 12,
Issue. 2,
p.
192.
Pearce, David
2014.
The History and Philosophy of Polish Logic.
p.
73.