Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Truszczynski, Miroslaw
2012.
Correct Reasoning.
Vol. 7265,
Issue. ,
p.
543.
Balduccini, Marcello
Lierler, Yuliya
and
Schüller, Peter
2013.
Logic Programming and Nonmonotonic Reasoning.
Vol. 8148,
Issue. ,
p.
148.
Lierler, Yuliya
and
Truszczynski, Miroslaw
2014.
Practical Aspects of Declarative Languages.
Vol. 8324,
Issue. ,
p.
49.
Lierler, Yuliya
2014.
Relating constraint answer set programming languages and algorithms.
Artificial Intelligence,
Vol. 207,
Issue. ,
p.
1.
Brochenin, Remi
and
Maratea, Marco
2015.
AI*IA 2015 Advances in Artificial Intelligence.
Vol. 9336,
Issue. ,
p.
205.
Lierler, Yuliya
Maratea, Marco
and
Ricca, Francesco
2016.
Systems, Engineering Environments, and Competitions.
AI Magazine,
Vol. 37,
Issue. 3,
p.
45.
BROCHENIN, REMI
MARATEA, MARCO
and
LIERLER, YULIYA
2016.
Disjunctive answer set solvers via templates.
Theory and Practice of Logic Programming,
Vol. 16,
Issue. 4,
p.
465.
Brochenin, Remi
Linsbichler, Thomas
Maratea, Marco
Wallner, Johannes P.
and
Woltran, Stefan
2018.
Abstract solvers for Dung’s argumentation frameworks.
Argument & Computation,
Vol. 9,
Issue. 1,
p.
41.
AMENDOLA, GIOVANNI
DODARO, CARMINE
and
MARATEA, MARCO
2019.
Abstract Solvers for Computing Cautious Consequences of ASP programs.
Theory and Practice of Logic Programming,
Vol. 19,
Issue. 5-6,
p.
740.
LIERLER, YULIYA
2023.
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches.
Theory and Practice of Logic Programming,
Vol. 23,
Issue. 1,
p.
195.
LIERLER, YULIYA
2023.
Unifying Framework for Optimizations in Non-Boolean Formalisms.
Theory and Practice of Logic Programming,
Vol. 23,
Issue. 6,
p.
1248.
LIERLER, YULIYA
2024.
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12.
Theory and Practice of Logic Programming,
p.
1.