Stefania Costantini  Home/Search
Context Related
| costantini.dm.univaq.it/pubbl...thcs.ps 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: costantini.dm.univaq.it/pubbl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Understanding the stable model semantics is an important topic in Logic Programming and Non-Monotonic Reasoning. In fact, stable models are closely related to extensions in default logic, and to other non-monotonic formalisms like TMS and abduction. In this paper we propose two new explicit characterizations of the stable model semantics. First, we specify a simple requirement for checking stability of a minimal model. Second, we characterize stable models in terms of their "difference" with... (Update)
Context of citations to this paper: More
...characterizing computing the semantics of normal and disjunctive programs is not new in itself. It has been used, for instance, in [Cos95] for characterizing the stable model semantics [MG88] for normal programs, and in [MM93] for computing the well founded and stationary...
...are related to, and bring together, our current research in nonmonotonic reasoning and autonomous agents. Research in Milan [Cos95,BCP99,CosPro99], has so far contributed to stable logic programming by analyzing, in particular, the dependence of stable models existence on the...
Cited by: More
Experiments in Answer Sets Planning (Extended Abstract) - Balduccini, Brignoli.. (Correct)
Static Semantics as Program Transformation and.. - Costantini, Lanzarone (1995) (Correct)
Active bibliography (related documents): More All
0.6: Extending and Implementing the Stable Model Semantics - Simons (2000) (Correct)
0.5: Flexible Query-Answering Systems Modelled in Metalogic.. - Andreasen, Christiansen (Correct)
0.4: Disjunctive Stable Models: Unfounded Sets, Fixpoint.. - Leone, Rullo, Scarcello (1997) (Correct)
Similar documents based on text: More All
0.6: Characterizing and Computing Stable Models of Logic.. - Brignoli, Costantini (1999) (Correct)
0.6: Efficient Implementation of the Well-founded and Stable Model .. - Niemelä, Simons (1996) (Correct)
0.6: Smodels - an Implementation of the Stable Model and.. - Niemelä, Simons (1997) (Correct)
Related documents from co-citation: More All
2: The Stable Model Semantics for Logic Programming - Gelfond - 1988
BibTeX entry: (Update)
S. Costantini. Contributions to the stable model semantics of logic programs with negation. Theoretical Computer Science, forthcoming, http://citeseer.ist.psu.edu/489316.html More
@article{ costantini95contributions,
author = "Stefania Costantini",
title = "Contributions to the stable model semantics of logic programs with negation",
journal = "Theoretical Computer Science",
volume = "149",
number = "2",
pages = "231--255",
year = "1995",
url = "citeseer.ist.psu.edu/489316.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
334 A Truth Maintenance System (context) - Doyle - 1979
234 The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al.
88 Generalized Stable Models: A Semantics for Abduction (context) - Kakas, Mancarella - 1990
64 Stable Models and Non-determinism in Logic Programs with Neg.. (context) - Zaniolo - 1990
62 UnfoldFold Transformation Logic Program (context) - Sato, Transformation et al. - 1984
62 the Declarative and Procedural Semantic of Logic Programs - Przymusinski - 1988
58 The Alternating Fixpoint of Logic Programs with Negation (context) - Van Gelder - 1989
52 Abduction Compared with Negation as Failure (context) - Eshghi, Kowalski - 1989
45 Semantic Issues in Deductive Databases and Logic Programs - Przymusinska, Przymusinski - 1990
42 Problems and Promises of Computational Logic (context) - Kowalski - 1990
38 A Rational Reconstruction of Nonmonotonic Truth Maintenance .. (context) - Elkan - 1990
19 Implementing Stable Semantics by Linear Programming (context) - Bell, Nerode et al. - 1993
15 Every Logic Program has a Natural Stratication and an Iterat.. (context) - Przymusinski - 1989
12 On Stratied Autoepistemic Theories (context) - Gelfond - 1987
11 Computing Stable Models by Using the ATMS (context) - Eshghi - 1990
9 A Non-Monotonic Assumption-based TMS Using Stable Bases (context) - Rodi, Pimentel - 1991
8 A Truth-Maintenance System based on Stable Models (context) - Pimentel, Cuadrado - 1989
5 Computing Stable Models by Program Transformation - Stuber - 1994
3 ective Implementation of Negation in Database Logic Query La.. (context) - Leone, Romeo et al. - 1993
2 Methods of Logic in Computer Science (context) - Costantini, Lanzarone et al.
1 Computing Abduction by using the TMS K (context) - Iwayama, Satoh - 1991
1 Branch and Bound = Stable Models CS-TR-2935 UMIACS-TR (context) - Subrahmanian, Nau et al. - 1992
Documents on the same site (http://costantini.dm.univaq.it/pubbl.htm): More
Comparing different graph representations of logic programs.. - Costantini (Correct)
Metareasoning Agents For Query-Answering Systems - Barklund, Dell'Acqua.. (Correct)
A Formal Definition and a Sound Implementation of.. - Costantini, Lanzarone (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