Panos Rondogiannis, William W. Wadge  Home/Search
Context
Related
| cgi.di.uoa.gr/~prondo/papers/tocl.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: cgi.di.uoa.gr/~prondo/journals (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper appears in the Proceedings of the 8th European Conference on Logics in Arti cial Intelligence (JELIA 2002), Lecture Notes in Arti cial Intelligence (LNAI) 2424, pages 456-467, Cosenza, Italy, September 2002 (Update)
Active bibliography (related documents): More All
0.8: An Infinite-Valued Semantics for Logic Programs with Negation - Rondogiannis, Wadge (Correct)
0.5: Splitting an Operator: Algebraic modularity results for .. - Vennekens, Gilis.. (2005) (Correct)
0.5: A Transformation Technique for Datalog Programs.. - Potikas.. (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ rondogiannis-minimum,
author = "Panos Rondogiannis and William W. Wadge",
title = "Minimum Model Semantics for Logic Programs with Negation-as-Failure",
url = "citeseer.ist.psu.edu/744657.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
759 Negation as Failure (context) - Clark - 1978
435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988
234 The Well-Founded Semantics for General Logic Programs - van Gelder, Ross et al. - 1991
204 the Declarative Semantics of Deductive Databases and Logic P.. (context) - on, Logic et al. - 1988
186 Negation in Logic Programming (context) - Kunen - 2000
180 Logic Programming and Negation: A Survey - Apt, Bol - 1994
174 A Kripke-Kleene Semantics for Logic Programs (context) - Fitting - 1985
149 Logic Programming and Knowledge Representation - Baral, Gelfond - 1994
125 The Well-Founded Semantics Coincides with the Three-Valued S.. - Przymusinski - 1990
90 Stable Models and an Alternative Logic Programming Paradigm - Marek, Truszczynski - 1999
58 The Alternating Fixpoint of Logic Programs with Negation (context) - van Gelder - 1993
58 The Alternating Fixpoint of Logic Programs with Negation (context) - van Gelder - 1989
46 Fixpoint Semantics for Logic Programming: A Survey - Fitting - 2002
45 Semantic Issues in Deductive Databases and Logic Programs - Przymusinska, Przymusinski - 1990
15 Every Logic Program has a Natural Strati cation and an Itera.. (context) - Przymusinski - 1989
14 Logic programming revisited: Logic programs as inductive de .. - Denecker, Bruynooghe et al. - 2001
3 Logic Programming and Knowledge Representation - the A-Prolo.. - Gelfond, Leone - 2002
3 The Complexity of Local Strati cation (context) - Cholak, Blair - 1994
3 Strati ed Negation in Temporal Logic Programming and the Cyc.. (context) - Rondogiannis - 2001
2 Towards a Uni ed Theory of Intensional Logic Programming (context) - Orgun, Wadge - 1992
2 ACM Transactions on Computational Logic (context) - June, November et al. - 2003
2 Integration of Active and Deductive Database Rules (context) - ascher - 1998
2 Temporal and Modal Logic Programming (context) - Orgun - 1994
1 Prescription for Semantics (context) - Ashcroft, Wadge - 1982
1 Negation and Aggregates in Recursive Rules: the LDL++ Approa.. (context) - of, ACM et al. - 1993
Documents on the same site (http://cgi.di.uoa.gr/~prondo/journals.html):
Adding Multidimensionality to Procedural Programming - Languages Rondogiannis.. (Correct)
Theoretical Computer Science 342 (2005) 382 -- 415.. - Christos Nomikos Panos (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