Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Wang, Yisong
You, Jia-Huai
Lin, Fangzhen
Yuan, Li Yan
and
Zhang, Mingyi
2010.
Weight constraint programs with evaluable functions.
Annals of Mathematics and Artificial Intelligence,
Vol. 60,
Issue. 3-4,
p.
341.
Walsh, Toby
2012.
Inductive Logic Programming.
Vol. 7207,
Issue. ,
p.
7.
Alviano, Mario
Calimeri, Francesco
Charwat, Günther
Dao-Tran, Minh
Dodaro, Carmine
Ianni, Giovambattista
Krennwallner, Thomas
Kronegger, Martin
Oetsch, Johannes
Pfandler, Andreas
Pührer, Jörg
Redl, Christoph
Ricca, Francesco
Schneider, Patrik
Schwengerer, Martin
Spendier, Lara Katharina
Wallner, Johannes Peter
and
Xiao, Guohui
2013.
Logic Programming and Nonmonotonic Reasoning.
Vol. 8148,
Issue. ,
p.
42.
AZIZ, REHAN ABDUL
CHU, GEOFFREY
and
STUCKEY, PETER J.
2013.
Stable model semantics for founded bounds.
Theory and Practice of Logic Programming,
Vol. 13,
Issue. 4-5,
p.
517.
Lierler, Yuliya
2014.
Relating constraint answer set programming languages and algorithms.
Artificial Intelligence,
Vol. 207,
Issue. ,
p.
1.
Banbara, Mutsunori
Gebser, Martin
Inoue, Katsumi
Ostrowski, Max
Peano, Andrea
Schaub, Torsten
Soh, Takehide
Tamura, Naoyuki
and
Weise, Matthias
2015.
Logic Programming and Nonmonotonic Reasoning.
Vol. 9345,
Issue. ,
p.
112.
Gebser, Martin
and
Schaub, Torsten
2016.
Modeling and Language Extensions.
AI Magazine,
Vol. 37,
Issue. 3,
p.
33.
Kaminski, Roland
Schaub, Torsten
and
Wanko, Philipp
2017.
Reasoning Web. Semantic Interoperability on the Web.
Vol. 10370,
Issue. ,
p.
167.
JANHUNEN, TOMI
KAMINSKI, ROLAND
OSTROWSKI, MAX
SCHELLHORN, SEBASTIAN
WANKO, PHILIPP
and
SCHAUB, TORSTEN
2017.
Clingo goes linear constraints over reals and integers.
Theory and Practice of Logic Programming,
Vol. 17,
Issue. 5-6,
p.
872.
BALDUCCINI, MARCELLO
and
LIERLER, YULIYA
2017.
Constraint answer set solver EZCSP and why integration schemas matter.
Theory and Practice of Logic Programming,
Vol. 17,
Issue. 4,
p.
462.
BANBARA, MUTSUNORI
KAUFMANN, BENJAMIN
OSTROWSKI, MAX
and
SCHAUB, TORSTEN
2017.
Clingcon: The next generation.
Theory and Practice of Logic Programming,
Vol. 17,
Issue. 4,
p.
408.
GAVANELLI, MARCO
NONATO, MADDALENA
PEANO, ANDREA
and
BERTOZZI, DAVIDE
2017.
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).
Theory and Practice of Logic Programming,
Vol. 17,
Issue. 5-6,
p.
800.
Cabalar, Pedro
Fandinno, Jorge
Schaub, Torsten
and
Schellhorn, Sebastian
2019.
Logics in Artificial Intelligence.
Vol. 11468,
Issue. ,
p.
509.
Cabalar, Pedro
Fandinno, Jorge
Schaub, Torsten
and
Wanko, Philipp
2021.
Proceedings 37th International Conference on Logic Programming (Technical Communications) .
Electronic Proceedings in Theoretical Computer Science,
Vol. 345,
Issue. ,
p.
48.
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.
Cabalar, Pedro
Fandinno, Jorge
Schaub, Torsten
and
Wanko, Philipp
2023.
On the Semantics of Hybrid ASP Systems Based on Clingo.
Algorithms,
Vol. 16,
Issue. 4,
p.
185.