Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Doğandağ, Semra
Ferraris, Paolo
and
Lifschitz, Vladimir
2003.
Logic Programming and Nonmonotonic Reasoning.
Vol. 2923,
Issue. ,
p.
74.
Lee, Joohyung
and
Lifschitz, Vladimir
2003.
Logic Programming.
Vol. 2916,
Issue. ,
p.
451.
Marek, Victor W.
Niemelä, Ilkka
and
Truszczyński, Mirosław
2003.
Logic Programming and Nonmonotonic Reasoning.
Vol. 2923,
Issue. ,
p.
154.
Eiter, Thomas
and
Polleres, Axel
2003.
Logic Programming and Nonmonotonic Reasoning.
Vol. 2923,
Issue. ,
p.
114.
Linke, Thomas
Tompits, Hans
and
Woltran, Stefan
2004.
Logic Programming.
Vol. 3132,
Issue. ,
p.
225.
Erdem, Esra
and
Wong, Martin D. F.
2004.
Logic Programming.
Vol. 3132,
Issue. ,
p.
386.
Anger, Christian
Gebser, Martin
Linke, Thomas
Neumann, André
and
Schaub, Torsten
2005.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 3835,
Issue. ,
p.
95.
Ferraris, Paolo
2005.
Logic Programming and Nonmonotonic Reasoning.
Vol. 3662,
Issue. ,
p.
79.
Dovier, Agostino
Formisano, Andrea
and
Pontelli, Enrico
2005.
Logic Programming.
Vol. 3668,
Issue. ,
p.
67.
Pelov, Nikolay
and
Ternovska, Eugenia
2005.
Logic Programming.
Vol. 3668,
Issue. ,
p.
221.
Janhunen, Tomi
2006.
Some (in)translatability results for normal logic programs and propositional theories.
Journal of Applied Non-Classical Logics,
Vol. 16,
Issue. 1-2,
p.
35.
Kavanagh, Jonathan
Mitchell, David
Ternovska, Eugenia
Maňuch, Ján
Zhao, Xiaohong
and
Gupta, Arvind
2006.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4246,
Issue. ,
p.
452.
Lee, Joohyung
and
Lin, Fangzhen
2006.
Loop formulas for circumscription.
Artificial Intelligence,
Vol. 170,
Issue. 2,
p.
160.
Ferraris, Paolo
Lee, Joohyung
and
Lifschitz, Vladimir
2006.
A generalization of the Lin-Zhao theorem.
Annals of Mathematics and Artificial Intelligence,
Vol. 47,
Issue. 1-2,
p.
79.
East, Deborah
and
Truszczyński, Miroslaw
2006.
Predicate-calculus-based logics for modeling and solving search problems.
ACM Transactions on Computational Logic,
Vol. 7,
Issue. 1,
p.
38.
Bochman, Alexander
2007.
The Many Valued and Nonmonotonic Turn in Logic.
Vol. 8,
Issue. ,
p.
557.
Zhang, MingYi
Zhang, Ying
and
Lin, FangZhen
2007.
A characterization of answer sets for logic programs.
Science in China Series F: Information Sciences,
Vol. 50,
Issue. 1,
p.
46.
Brooks, Daniel R.
Erdem, Esra
Erdoğan, Selim T.
Minett, James W.
and
Ringe, Don
2007.
Inferring Phylogenetic Trees Using Answer Set Programming.
Journal of Automated Reasoning,
Vol. 39,
Issue. 4,
p.
471.
Gebser, Martin
Lee, Joohyung
and
Lierler, Yuliya
2007.
Logic Programming and Nonmonotonic Reasoning.
Vol. 4483,
Issue. ,
p.
149.
Giunchiglia, Enrico
Leone, Nicola
and
Maratea, Marco
2008.
On the relation among answer set solvers.
Annals of Mathematics and Artificial Intelligence,
Vol. 53,
Issue. 1-4,
p.
169.