Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Truszczyński, Mirosław
2007.
Logic Programming.
Vol. 4670,
Issue. ,
p.
76.
PELOV, NIKOLAY
DENECKER, MARC
and
BRUYNOOGHE, MAURICE
2007.
Well-founded and stable semantics of logic programs with aggregates.
Theory and Practice of Logic Programming,
Vol. 7,
Issue. 3,
p.
301.
You, Jia-Huai
Yuan, Li Yan
Liu, Guohua
and
Shen, Yi-Dong
2007.
Logic Programming and Nonmonotonic Reasoning.
Vol. 4483,
Issue. ,
p.
228.
Liu, Lengning
Pontelli, Enrico
Son, Tran Cao
and
Truszczyński, Mirosław
2007.
Logic Programming.
Vol. 4670,
Issue. ,
p.
286.
Gelfond, Michael
2008.
Handbook of Knowledge Representation.
Vol. 3,
Issue. ,
p.
285.
Liu, Guohua
and
You, Jia-Huai
2008.
Logic Programming.
Vol. 5366,
Issue. ,
p.
347.
FABER, WOLFGANG
PFEIFER, GERALD
LEONE, NICOLA
DELL'ARMI, TINA
and
IELPA, GIUSEPPE
2008.
Design and implementation of aggregate functions in the DLV
system.
Theory and Practice of Logic Programming,
Vol. 8,
Issue. 5-6,
p.
545.
SHEN, YI-DONG
YOU, JIA-HUAI
and
YUAN, LI-YAN
2009.
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms.
Theory and Practice of Logic Programming,
Vol. 9,
Issue. 4,
p.
529.
Liu, Guohua
2009.
Logic Programming and Nonmonotonic Reasoning.
Vol. 5753,
Issue. ,
p.
444.
Liu, Lengning
Pontelli, Enrico
Son, Tran Cao
and
Truszczyński, Miroslaw
2010.
Logic programs with abstract constraint atoms: The role of computations.
Artificial Intelligence,
Vol. 174,
Issue. 3-4,
p.
295.
Bruijn, Jos De
Eiter, Thomas
Polleres, Axel
and
Tompits, Hans
2011.
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination.
ACM Transactions on Computational Logic,
Vol. 12,
Issue. 3,
p.
1.
Cakmak, Duygu
Erdem, Esra
and
Erdogan, Halit
2011.
Computing weighted solutions in ASP: representation-based method vs. search-based method.
Annals of Mathematics and Artificial Intelligence,
Vol. 62,
Issue. 3-4,
p.
219.
Faber, Wolfgang
Pfeifer, Gerald
and
Leone, Nicola
2011.
Semantics and complexity of recursive aggregates in answer set programming.
Artificial Intelligence,
Vol. 175,
Issue. 1,
p.
278.
You, Jia-Huai
Shen, Yi-Dong
and
Wang, Kewen
2012.
Correct Reasoning.
Vol. 7265,
Issue. ,
p.
576.
LIU, GUOHUA
and
YOU, JIA-HUAI
2013.
Relating weight constraint and aggregate programs: Semantics and representation.
Theory and Practice of Logic Programming,
Vol. 13,
Issue. 1,
p.
1.
Anwar, Saadat
Baral, Chitta
and
Inoue, Katsumi
2014.
Logical Modeling of Biological Systems.
p.
207.
Shen, Yi-Dong
Wang, Kewen
Eiter, Thomas
Fink, Michael
Redl, Christoph
Krennwallner, Thomas
and
Deng, Jun
2014.
FLP answer set semantics without circular justifications for general logic programs.
Artificial Intelligence,
Vol. 213,
Issue. ,
p.
1.
Le, Tiep
Son, Tran Cao
and
Pontelli, Enrico
2015.
PRIMA 2015: Principles and Practice of Multi-Agent Systems.
Vol. 9387,
Issue. ,
p.
449.
ALVIANO, MARIO
FABER, WOLFGANG
and
GEBSER, MARTIN
2015.
Rewriting recursive aggregates in answer set programming: back to monotonicity.
Theory and Practice of Logic Programming,
Vol. 15,
Issue. 4-5,
p.
559.
Alviano, Mario
and
Faber, Wolfgang
2015.
Web Reasoning and Rule Systems.
Vol. 9209,
Issue. ,
p.
30.