Ilkka Niemelä  Home/Search
Context Related
Links: DBLP | tcs.hut.fi/smodels/../r...niemela.ps.gz tcs.hut.fi/pub/smodels/...niemela.ps.gz saturn.tcs.hut.fi/Softw...niemela.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tcs.hut.fi/smodels/ (more) From: tcs.hut.fi/pub/smodels/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Logic programming with the stable model semantics is put forward as an interesting constraint programming paradigm. It is shown that the paradigm embeds classical logical satisfiability but seems to provide a more expressive framework from a knowledge representation point of view. The applicability of the paradigm is demonstrated using combinatorial graph problems and planning problems as examples. An efficient implementation of the paradigm has been developed and is publicly available. The... (Update)
Cited by: More
Towards Automated Reformulation of Specifications - Mancini (Correct)
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
Towards Systematic Benchmarking in Answer Set.. - Borchert, Anger.. (Correct)
Similar documents (at the sentence level):
30.3%: Constraint Programming Based on Logic Programs with Stable Model.. - Niemelä (Correct)
23.2%: Logic Programs with Stable Model Semantics as a Constraint.. - Niemelä (1998) (Correct)
Active bibliography (related documents): More All
0.2: Towards Constraint Satisfaction through Logic Programs and the.. - Simons (1997) (Correct)
0.1: Transformation-Based Bottom-Up Computation of the.. - Brass, Dix, Freitag.. (1998) (Correct)
0.1: Developing a Declarative Rule Language for Applications in.. - Soininen, Niemelä (1999) (Correct)
Similar documents based on text: More All
0.2: Autoepistemic Logic as a Basis for Automating Nonmonotonic.. - Niemelä (1995) (Correct)
0.2: Representing Configuration Knowledge with Weight Constraint.. - Soininen, Niemelä (2001) (Correct)
0.2: Nonmonotonic Reasoning: Towards Efficient Calculi and.. - Dix, Furbach, Niemelä (1998) (Correct)
Related documents from co-citation: More All
18: Stable models and an alternative logic programming paradigm - Marek, Truszczy - 1999
16: The Stable Model Semantics for Logic Programming - Gelfond - 1988
15: Negation as Failure (context) - Clark - 1978
BibTeX entry: (Update)
I. Niemela. Logic programs with stable model semantics as a constraint programming paradigm. In I. Niemela and T. Schaub, editor, Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pages 72--79, 1998. http://citeseer.ist.psu.edu/niemela98logic.html More
@inproceedings{ niemela98logic,
author = "I. Niemel\"a",
title = "Logic programs with stable model semantics as a constraint programming
paradigm",
editor = "I. Niemel\"a and T. Schaub",
booktitle = "Proceedings of
the Workshop on Computational Aspects of Nonmonotonic Reasoning",
pages = "72--79",
year = "1998",
url = "citeseer.ist.psu.edu/niemela98logic.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 DBLP
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990 ACM DBLP
256 Representing Actions and Change by Logic Programs - Gelfond, Lifschitz - 1993
221 Constraint logic programming (context) - Jaffar, Lassez ACM DBLP
97 Experimental results on the crossover point in random 3-SAT - Crawford, Auton - 1996 ACM DBLP
43 Mixed integer programming methods for computing nonmonotonic.. - Bell, Nerode et al. - 1994 ACM DBLP
38 A rational reconstruction of nonmonotonic truth maintenance .. (context) - Elkan - 1990 DBLP
38 Computation of stable models and its integration with logica.. - Chen, Warren - 1996 ACM DBLP
29 Default reasoning system DeReS (context) - Cholewi'nski, Marek et al. - 1996 DBLP
8 Encoding planning problems in nonmonotonic logic programs (context) - Dimopoulos, Nebel et al. - 1997 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.tcs.hut.fi/smodels/): More
Constraint Programming Based on Logic Programs with Stable Model.. - Niemelä (Correct)
Efficient Implementation of the Well-founded and Stable Model .. - Niemelä, Simons (1996) (Correct)
Evaluating an Algorithm for Default Reasoning - Niemelä, Simons (1995) (Correct)
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