Ilkka Niemelä  Home/Search
Context Related
| tcs.hut.fi/pub/smod...lpcsplong.ps.gz tcs.hut.fi/smodels/...lpcsplong.ps.gz saturn.tcs.hut.fi/~...lpcsplong.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/pub/smodels/ (more) From: tcs.hut.fi/smodels/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic programming based knowledge representation techniques to constraint programming and because implementation methods for the stable model semantics for ground (variable-free) programs have advanced significantly in recent years. For a program with variables these methods need a grounding procedure for generating a... (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):
8.0%: Logic Programs with Stable Model Semantics as a Constraint.. - Niemelä (1998) (Correct)
Active bibliography (related documents): More All
1.0: Developing a Declarative Rule Language for Applications in.. - Soininen, Niemelä (1999) (Correct)
0.6: Extending and Implementing the Stable Model Semantics - Simons (2000) (Correct)
0.4: Stable Model Semantics of Weight Constraint Rules - Niemelä, Simons, Soininen (1999) (Correct)
Similar documents based on text: More All
0.9: The Smodels System - Syrjänen, Niemelä (2001) (Correct)
0.6: Exploring the Behaviour of Feature Interaction via Stable Models - Accorsi (1999) (Correct)
0.5: Bounded LTL Model Checking with Stable Models - Heljanko, Niemela (2001) (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/article/niemela98logic.html More
@misc{ 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/article/niemela98logic.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850 A logic for default reasoning (context) - Reiter - 1980
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
256 Representing Actions and Change by Logic Programs - Gelfond, Lifschitz - 1993
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
221 Constraint logic programming (context) - Ja, Jean-Louis - 1987
151 Autoepistemic logic (context) - Marek, Truszczy - 1991
142 Tabled evaluation with delaying for general logic programs - Chen, Warren - 1996
97 Experimental results on the crossover point in random 3-SAT - Crawford, Auton - 1996
90 Stable models and an alternative logic programming paradigm - Marek, Truszczy - 1999
89 Complexity results for planning (context) - Bylander - 1991
84 The KR system dlv: Progress report (context) - Eiter, Leone et al. - 1998
47 Using logic programs with stable model semantics to solve de.. - Heljanko - 1999
43 Mixed integer programming methods for computing nonmonotonic.. - Bell, Nerode et al. - 1994
38 A rational reconstruction of nonmonotonic truth maintenance .. (context) - Elkan - 1990
38 An abstract machine for computing the well-founded semantics (context) - Sagonas, Swift et al. - 1996
38 Computation of stable models and its integration with logica.. - Chen, Warren - 1996
32 Linear-time algorithms for testing the satisability of propo.. (context) - Dowling, Gallier - 1984
29 Default reasoning system DeReS (context) - Cholewi, Marek et al. - 1996
27 Experimenting with nonmonotonic reasoning (context) - Cholewi, Marek et al. - 1995
25 branch and bound = stable models (context) - Subrahmanian, Nau et al. - 1995
24 Towards constraint satisfaction through logic programs and t.. - Simons - 1997
17 an implementation of the stable model and wellfounded semant.. (context) - Niemel, Simons - 1997
15 ACLP: Flexible solutions to complex problems - Kakas, Mourlas - 1997
13 Circumscribing DATALOG: Expressive power and complexity (context) - Cadoli, Palopoli - 1998
8 Encoding planning problems in nonmonotonic logic programs (context) - Dimopoulos, Nebel et al. - 1997
8 Iterative belief revision in extended logic programming - You, Cartwright et al. - 1996
6 Implementation of local grounding for logic programs with st.. (context) - Syrj - 1998
6 NP-SPEC: An executable specication language for solving all .. - Cadoli, Palopoli et al. - 1999
4 Available at ftp://labrea (context) - Knuth, GraphBase - 1993
4 cient implementation of the well-founded and stable model se.. (context) - Niemel, Simons - 1996
3 cient default reasoning (context) - Niemel, eff - 1995
2 Fully local and eÆcient evaluation of alternating xed points (context) - Liu, Ramakrishnan et al. - 1998
1 Towards programming in default logic (context) - Cholewi - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.tcs.hut.fi/pub/smodels/): More
Constraint Programming Based on Logic Programs with Stable Model.. - Niemelä (Correct)
Formalizing Configuration Knowledge Using Rules with Choices - Soininen, Niemelä (1998) (Correct)
Logic Programs with Stable Model Semantics as a Constraint.. - Niemelä (1998) (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