Marek, V. W. and Truszczynski, M. 1999. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm: a 25-Year Perspective. Springer-Verlag, 375-398. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Towards Systematic Benchmarking in Answer Set.. - Borchert, Anger.. Self-citation (Truszczynski) (Correct)
No context found.
V. Marek and M. Truszczynski. Stable models and an alternative logic programming paradigm. In K. Apt, W. Marek, M. Truszczynski, and D. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375--398. SpringerVerlag, 1999.
Constraint Lingo: Towards high-level constraint programming - Finkel, Marek, Truszczynski (2004) Self-citation (Marek Truszczy) (Correct)
No context found.
V.W. Marek and M. Truszczynski. Stable models and an alternative logic programming paradigm. In K.R. Apt, W. Marek, M. Truszczynski, and D.S. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer, Berlin, 1999. 26
Minimum Model Semantics for Logic Programs with.. - Rondogiannis, Wadge (Correct)
No context found.
Marek, V. W. and Truszczynski, M. 1999. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm: a 25-Year Perspective. Springer-Verlag, 375-398.
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
No context found.
Viktor W. Marek and Miroslaw Truszczy nski. Stable models and an alternative logic programming paradigm. In Krzysztof R. Apt, Viktor W. Marek, Miroslav Truszczy nski, and David S. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375--398. Springer-Verlag, 1999.
Verifying the Equivalence of Logic Programs in the.. - Oikarinen, Janhunen (2004) (Correct)
No context found.
W. Marek and M. Truszczyski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375398. Springer, 1999.
Testing the Equivalence of Logic Programs under Stable.. - Janhunen, Oikarinen (2002) (1 citation) (Correct)
No context found.
W. Marek and M. Truszczyski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375398. Springer-Verlag, 1999.
Planning Experiments in the DALI Logic Programming Language - Costantini, Tocchio (Correct)
No context found.
W. Marek and M. Truszczynski, Stable Models and an Alternative Logic Programming Paradigm, In: The Logic Programming Paradigm: a 25-Year Perspective, SpringerVerlag, Berlin, 1999: 375--398.
Component-based Answer Set Programming - Costantini (Correct)
No context found.
Marek, W., and Truszczy nski, M., 1999. Stable Models and an Alternative Logic Programming Paradigm, In: The Logic Programming Paradigm: a 25Year Perspective, Springer-Verlag: 375--398.
Reasoning about Lava effusion: from Geographical.. - Cattinelli, Damiani.. (Correct)
No context found.
W. Marek, and M. Truszczynski. Stable models and an alternative logic programming paradigm, The Logic Programming Paradigm: a 25-Year Perspective, Springer-Verlag, pp. 375--398.
On the Equivalence of Logic Programs - Oikarinen (2002) (Correct)
No context found.
Marek W., Truszczynski M. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pp. 375398. Springer-Verlag. 1999.
Logic Programming with Cardinality Constraints - Syrjänen (2003) (Correct)
No context found.
W. Marek and M. Truszczy nski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25year Perspective, pages 375--398. Springer-Verlag.
Logic Programming with Cardinality Constraints - Syrjänen (2003) (Correct)
No context found.
V. Marek and M. Truszczy nski. Stable models and an alternative logic programming paradigm. In K. Apt, V. Marek, M. Truszczy nski, and D. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375--398. Springer-Verlag, 1999. cs.LO/9809032.
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
No context found.
V.W. Marek and M. Truszczynski. Stable models and an alternative logic programming paradigm. In K.R. Apt, V. Marek, M. Truszczynski, and D.S. Warren, editors, The Logic Programming Paradigm: a 25 Years Perspective, pages pp. 375--398. Springer-Verlag, 1999.
Testing the Equivalence of Logic Programs under Stable.. - Janhunen, Oikarinen (2002) (1 citation) (Correct)
No context found.
W. Marek and M. Truszczyski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375398. Springer-Verlag, 1999.
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
No context found.
Viktor W. Marek and Miroslaw Truszczy nski. Stable models and an alternative logic programming paradigm. In Krzysztof R. Apt, Viktor W. Marek, Miroslav Truszczy nski, and David S. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375-- 398. Springer-Verlag, 1999.
Computing Answer Sets of a Logic Program - Via-Enumeration Of Sat (Correct)
No context found.
Victor Marek and Mirosl/aw Truszczynski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective. Springer Verlag, 1999.
Mappings Between Domain Models in Answer Set - Programming Stefania Costantini (Correct)
No context found.
W. Marek and M. Truszczynski. Stable models and an alternative logic programming paradigm, The Logic Programming Paradigm: a 25-Year Perspective, Springer-Verlag, pp. 375--398, 1999.
Testing the Equivalence of Disjunctive Logic Programs - Oikarinen (2003) (Correct)
No context found.
Viktor W. Marek and Miroslaw Truszczy nski. Stable models and an alternative logic programming paradigm. In Krzysztof R. Apt, Viktor W. Marek, Miroslav Truszczy nski, and David S. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 375--398. Springer-Verlag, 1999.
On the Effect of Default Negation on the Expressiveness of.. - Janhunen (2001) (5 citations) (Correct)
No context found.
W. Marek and M. Truszczyski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375398. Springer-Verlag, 1999.
Translatability And Intranslatability Results For Certain.. - Janhunen (2003) (Correct)
No context found.
W. Marek and M. Truszczy nski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25Year Perspective, pages 375--398. Springer-Verlag, 1999.
Disjunctive Explanations - Katsumi Inoue And (2002) (Correct)
No context found.
V. W. Marek, and M. Truszczy'nski. Stable models and an alternative logic programming paradigm. In: K. R. Apt et al., editors, The Logic Programming Paradigm---A 25 Year Perspective, pages 375--398, Springer, 1999.
Logic Programs, Iterated Function Systems, and Recurrent.. - Bader, Hitzler (Correct)
No context found.
V. Wiktor Marek and Miroslav Truszczynski. Stable models and an alternative logic programming paradigm. In Krzysztof R. Apt, V. Wiktor Marek, Miroslav Truszczynski, and David S. Warren, editors, The Logic Programming Paradigm: A 25-Year Persepective, pages 375--398. Springer, Berlin, 1999.
Answer Sets: From Constraint Programming - Towards Qualitative Optimization (Correct)
No context found.
V. Marek and M. Truszczynski, Stable models and an alternative logic programming paradigm, in: The Logic Programming Paradigm: a 25-Year Perspective, 1999.
Vol. 7(2002): Nr 7 - Linkoping Sweden Http (Correct)
No context found.
V. W. Marek, and M. Truszczy'nski. Stable models and an alternative logic programming paradigm. In: K. R. Apt et al., editors, The Logic Programming Paradigm---A 25 Year Perspective, pages 375--398, Springer, 1999.
Solving Alternating Boolean Equation Systems in Answer Set.. - Keinänen, Niemelä (2004) (Correct)
No context found.
W. Marek and M. Truszczynski. Stable Models and an Alternative Logic Programming Paradigm, The Logic Programming Paradigm: a 25-Year Perspective, pages 375--398, Springer-Verlag, 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC