Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Eiter, Thomas
and
Fink, Michael
2003.
Logic Programming.
Vol. 2916,
Issue. ,
p.
224.
Eiter, Thomas
Fink, Michael
Tompits, Hans
and
Woltran, Stefan
2003.
Logic Programming and Nonmonotonic Reasoning.
Vol. 2923,
Issue. ,
p.
87.
Pearce, David
and
Valverde, Agustín
2003.
Logic Programming and Nonmonotonic Reasoning.
Vol. 2923,
Issue. ,
p.
194.
Woltran, Stefan
2004.
Logics in Artificial Intelligence.
Vol. 3229,
Issue. ,
p.
161.
Pearce, David
2004.
Logic Programming.
Vol. 3132,
Issue. ,
p.
210.
Pearce, David
and
Valverde, Agustín
2005.
A First Order Nonmonotonic Extension of Constructive Logic.
Studia Logica,
Vol. 80,
Issue. 2-3,
p.
321.
Pearce, David
2006.
Equilibrium logic.
Annals of Mathematics and Artificial Intelligence,
Vol. 47,
Issue. 1-2,
p.
3.
Lifschitz, Vladimir
Pearce, David
and
Valverde, Agustín
2007.
Logic Programming and Nonmonotonic Reasoning.
Vol. 4483,
Issue. ,
p.
188.
Eiter, Thomas
Fink, Michael
and
Woltran, Stefan
2007.
Semantical characterizations and complexity of equivalences in answer set programming.
ACM Transactions on Computational Logic,
Vol. 8,
Issue. 3,
p.
17.
Truszczyński, Mirosław
and
Woltran, Stefan
2008.
Logic Programming.
Vol. 5366,
Issue. ,
p.
576.
Truszczyński, Mirosław
and
Woltran, Stefan
2008.
Hyperequivalence of logic programs with respect to supported models.
Annals of Mathematics and Artificial Intelligence,
Vol. 53,
Issue. 1-4,
p.
331.
Zhou, Yi
and
Zhang, Yan
2008.
Logics in Artificial Intelligence.
Vol. 5293,
Issue. ,
p.
416.
Osorio Galindo, M.
Arrazola Ramirez, J. R.
and
Carballido, J. L.
2008.
Logical Weak Completions of Paraconsistent Logics.
Journal of Logic and Computation,
Vol. 18,
Issue. 6,
p.
913.
TRUSZCZYŃSKI, MIROSŁAW
and
WOLTRAN, STEFAN
2009.
Relativized hyperequivalence of logic programs for modular programming.
Theory and Practice of Logic Programming,
Vol. 9,
Issue. 6,
p.
781.
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.
Estrada, Oscar
Arrazola, José
and
Osorio, Mauricio
2010.
Advances in Artificial Intelligence.
Vol. 6437,
Issue. ,
p.
362.
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.
Carballido, José Luis
Osorio, Mauricio
and
Arrazola, José Ramón
2010.
Equivalence for the G3′-stable models semantics.
Journal of Applied Logic,
Vol. 8,
Issue. 1,
p.
82.
Woltran, Stefan
2011.
Datalog Reloaded.
Vol. 6702,
Issue. ,
p.
106.
Bochman, Alexander
2012.
Correct Reasoning.
Vol. 7265,
Issue. ,
p.
87.