Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Jussila, Toni
Heljanko, Keijo
and
Niemelä, Ilkka
2003.
BMC via On-the-Fly Determinization.
Electronic Notes in Theoretical Computer Science,
Vol. 89,
Issue. 4,
p.
561.
Latvala, Timo
Biere, Armin
Heljanko, Keijo
and
Junttila, Tommi
2004.
Formal Methods in Computer-Aided Design.
Vol. 3312,
Issue. ,
p.
186.
Ogata, Shougo
Tsuchiya, Tatsuhiro
and
Kikuno, Tohru
2004.
Automated Technology for Verification and Analysis.
Vol. 3299,
Issue. ,
p.
79.
Keinänen, Misa
and
Niemelä, Ilkka
2005.
Applications of Declarative Programming and Knowledge Management.
Vol. 3392,
Issue. ,
p.
134.
Jussila, Toni
Heljanko, Keijo
and
Niemelä, Ilkka
2005.
BMC via on-the-fly determinization.
International Journal on Software Tools for Technology Transfer,
Vol. 7,
Issue. 2,
p.
89.
Tang, Calvin Kai Fan
and
Ternovska, Eugenia
2005.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 3835,
Issue. ,
p.
443.
Janhunen, Tomi
Niemelä, Ilkka
Seipel, Dietmar
Simons, Patrik
and
You, Jia-Huai
2006.
Unfolding partiality and disjunctions in stable model semantics.
ACM Transactions on Computational Logic,
Vol. 7,
Issue. 1,
p.
1.
Niemelä, Ilkka
2006.
Logics in Artificial Intelligence.
Vol. 4160,
Issue. ,
p.
15.
Giunchiglia, Enrico
Lierler, Yuliya
and
Maratea, Marco
2007.
Answer Set Programming Based on Propositional Satisfiability.
Journal of Automated Reasoning,
Vol. 36,
Issue. 4,
p.
345.
Liu, Lengning
Pontelli, Enrico
Son, Tran Cao
and
Truszczyński, Mirosław
2007.
Logic Programming.
Vol. 4670,
Issue. ,
p.
286.
Behrens, Tristan M.
and
Dix, Jürgen
2007.
Model checking multi-agent systems with logic based Petri nets.
Annals of Mathematics and Artificial Intelligence,
Vol. 51,
Issue. 2-4,
p.
81.
Schaub, Torsten
2008.
Logic Programming.
Vol. 5366,
Issue. ,
p.
93.
Dubrovin, Jori
Junttila, Tommi
and
Heljanko, Keijo
2008.
Formal Methods for Open Object-Based Distributed Systems.
Vol. 5051,
Issue. ,
p.
96.
Osorio, Mauricio
Zepeda, Claudia
and
Castillo, Hilda
2009.
A Formal Design Model for Mechatronic Systems.
p.
125.
PONTELLI, ENRICO
SON, TRAN CAO
and
ELKHATIB, OMAR
2009.
Justifications for logic programs under answer set semantics.
Theory and Practice of Logic Programming,
Vol. 9,
Issue. 1,
p.
1.
Zepeda, Claudia
Marcial-Romero, J. Raymundo
Osorio, Mauricio
Castillo, Hilda
Quintos, Daniel
and
Arzola, Sergio
2010.
Digital design vercation based on P-stable semantics.
p.
212.
Gebser, Martin
Grote, Torsten
and
Schaub, Torsten
2010.
Logics in Artificial Intelligence.
Vol. 6341,
Issue. ,
p.
360.
D’Aprile, Davide
Giordano, Laura
Gliozzi, Valentina
Martelli, Alberto
Pozzato, Gian Luca
and
Theseider Dupré, Daniele
2010.
Computational Logic in Multi-Agent Systems.
Vol. 6245,
Issue. ,
p.
99.
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.
Bu, Lei
Cimatti, Alessandro
Li, Xuandong
Mover, Sergio
and
Tonetta, Stefano
2010.
Formal Techniques for Distributed Systems.
Vol. 6117,
Issue. ,
p.
155.