Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
You, Jia-Huai
Yuan, Li Yan
Liu, Guohua
and
Shen, Yi-Dong
2007.
Logic Programming and Nonmonotonic Reasoning.
Vol. 4483,
Issue. ,
p.
228.
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.
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.
Fierens, Daan
2010.
Inductive Logic Programming.
Vol. 5989,
Issue. ,
p.
17.
Greco, Sergio
and
Lisi, Francesca A.
2010.
A 25-Year Perspective on Logic Programming.
Vol. 6125,
Issue. ,
p.
183.
Czenko, Marcin
and
Etalle, Sandro
2010.
Logic-Based Program Synthesis and Transformation.
Vol. 6037,
Issue. ,
p.
67.
Ferraris, Paolo
2011.
Logic programs with propositional connectives and aggregates.
ACM Transactions on Computational Logic,
Vol. 12,
Issue. 4,
p.
1.
Chen, Yin
Lin, Fangzhen
Zhang, Yan
and
Zhou, Yi
2011.
Loop-separable programs and their first-order definability.
Artificial Intelligence,
Vol. 175,
Issue. 3-4,
p.
890.
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.
Eiter, Thomas
Ianni, Giovambattista
Lukasiewicz, Thomas
and
Schindlauer, Roman
2011.
Well-founded semantics for description logic programs in the semantic web.
ACM Transactions on Computational Logic,
Vol. 12,
Issue. 2,
p.
1.
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.
Bianculli, Domenico
Ghezzi, Carlo
Pautasso, Cesare
and
Senti, Patrick
2012.
Specification patterns from research to industry: A case study in service-based applications.
p.
968.
Denecker, Marc
Bruynooghe, Maurice
and
Vennekens, Joost
2012.
Correct Reasoning.
Vol. 7265,
Issue. ,
p.
178.
You, Jia-Huai
Shen, Yi-Dong
and
Wang, Kewen
2012.
Correct Reasoning.
Vol. 7265,
Issue. ,
p.
576.
Antić, Christian
Eiter, Thomas
and
Fink, Michael
2013.
Logic Programming and Nonmonotonic Reasoning.
Vol. 8148,
Issue. ,
p.
102.
Faber, Wolfgang
2013.
Reasoning Web. Semantic Technologies for Intelligent Data Access.
Vol. 8067,
Issue. ,
p.
162.
De Pooter, Stef
Wittocx, Johan
and
Denecker, Marc
2013.
Applications of Declarative Programming and Knowledge Management.
Vol. 7773,
Issue. ,
p.
279.
Bianculli, Domenico
Ghezzi, Carlo
and
San Pietro, Pierluigi
2013.
Formal Aspects of Component Software.
Vol. 7684,
Issue. ,
p.
55.