Fitting, M. C. 2002. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science 21, 3, 25--51. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
No context found.
Fitting, M. C. 2002. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science 21, 3, 25--51.
Minimum Model Semantics for Logic Programs with.. - Rondogiannis, Wadge (Correct)
No context found.
Fitting, M. 2002. Fixpoint Semantics for Logic Programming: A Survey. Theoretical Computer Science 278, 1-2, 25-51.
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (2 citations) (Correct)
No context found.
M. C. Fitting. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science, 21(3):25--51, 2002.
Strong Equivalence of Nonmonotonic Theories - an Algebraic.. - Truszczynski (Correct)
No context found.
Fitting, M. C. 2002. Fixpoint semantics for logic programming -- a survey. Theoretical Computer Science 278:25--51.
Query Answering in Normal Logic Programs under Uncertainty - Straccia (Correct)
No context found.
M. C. Fitting. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science, 21(3):25--51, 2002.
An Infinite-Valued Semantics for Logic Programs with Negation - Rondogiannis, Wadge (Correct)
No context found.
M. Fitting. Fixpoint Semantics for Logic Programming: A Survey. Theoretical Computer Science. (to appear).
Epistemic Foundation of the Well-Founded Semantics over.. - Loyer, Straccia (Correct)
No context found.
M. C. Fitting. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science, 21(3):25--51, 2002.
The Integration of Connectionism and First-Order.. - Bader, Hitzler.. (2004) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming --- A survey. Theoretical Computer Science, 278(1--2):25--51, 2002.
Towards a Unified Theory of Logic Programming Semantics.. - Hitzler, Knorr (2005) (Correct)
No context found.
Fitting, M.: Fixpoint semantics for logic programming --- A survey. Theoretical Computer Science 278 (2002) 25--51
Towards a Systematic Account of Different Semantics for Logic.. - Hitzler (2003) (Correct)
No context found.
Melvin Fitting. Fixpoint semantics for logic programming --- A survey. Theoretical Computer Science, 278(1--2):25--51, 2002.
Logic Programs With Monotone Cardinality Atoms - Marek, Niemelä, Truszczynski (Correct)
No context found.
M. C. Fitting. Fixpoint semantics for logic programming { a survey. Theoretical Computer Science, 278:25-51, 2002.
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming a survey. Theoretical Computer Science, 278(1-2):25--51, 2002.
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming a survey. Theoretical Computer Science, 278(1-2):25--51, 2002.
Ultimate Approximation and Its Application in.. - Denecker, Marek.. (2004) (1 citation) (Correct)
No context found.
M. C. Fitting. Fixpoint semantics for logic programming { a survey. Theoretical Computer Science, 278:25-51, 2002.
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming a survey. Theoretical Computer Science, 278(1-2):25--51, 2002.
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming a survey. Theoretical Computer Science, 278(1-2):25--51, 2002.
An Encompassing Framework for Paraconsistent Logic Programs - Alcantara, Damasio, Pereira (2003) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming a survey. Theoretical Computer Science, 278(1-2):25-51, 2002.
Logic Programs and Connectionist Networks - Hitzler, Hölldobler, Seda (2004) (Correct)
No context found.
Melvin Fitting. Fixpoint semantics for logic programming --- A survey. Theoretical Computer Science, 278(1--2):25--51, 2002.
Partial Stable Models for Logic Programs with Aggregates - Pelov, Denecker, Bruynooghe (2004) (1 citation) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming a survey. Theoretical Computer Science, 278(1--2):25--51, 2002.
Corollaries on the fixpoint completion: studying the stable.. - Hitzler (2004) (Correct)
No context found.
Melvin Fitting. Fixpoint semantics for logic programming | A survey. Theoretical Computer Science, 278(1-2):25-51, 2002.
Ultimate Approximation and Its Application in Nonmonotonic.. - Denecker, al. (2004) (1 citation) (Correct)
No context found.
M. C. Fitting. Fixpoint semantics for logic programming -- a survey. Theoretical Computer Science, 278:25--51, 2002.
A Logic of Non-Monotone Inductive Definitions and its.. - Denecker, Ternovska (2004) (2 citations) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science, 2003. To appear.
Logical Theories for Agent Introspection - Bolander (2003) (Correct)
No context found.
Melvin Fitting. Fixpoint semantics for logic programming---a survey. Theoretical Computer Science, 278(1-2):25--51, 2002.
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (Correct)
No context found.
M. Fitting. Fixpoint semantics for logic programming a survey. Theoretical Computer Science, 278(1-2):25--51, 2002.
Logics of Formal Inconsistency - Carnielli, Coniglio, Marcos (Correct)
No context found.
M.C. Fitting. Fixpoint semantics for logic programming -- a survey. Theoretical Computer Science, 278(1-2):25--51, 2002.
First 50 documents
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