26 citations found. Retrieving documents...
M. Denecker.
Knowledge Representation and Reasoning in Incomplete Logic Programming
. PhD thesis, Department of Computer Science, K.U.Leuven, 1993.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
First 50 documents
A Simple Declarative Language For Describing Narratives With.. - Kakas, Miller (1997)
(27 citations)
(Correct)
Reasoning about Concurrent Actions and Observations - Renwei Li Lu'is (1996)
(2 citations)
(Correct)
A Logic-Based Calculus of Fluents - Brandano (1998)
(Correct)
Knowledge Assimilation in Domains of Actions: A Possible.. - Renwei Li Lu'is (1997)
(Correct)
Representing and Reasoning about Concurrent Actions with.. - Li, Pereira (1997)
(4 citations)
(Correct)
Reasoning about Actions with Abductive Logic Programming - Lu'is Moniz
(Correct)
Refining Action Theories through Abductive Logic Programming - Renwei Li (1997)
(Correct)
Refining Action Theories through Abductive Logic Programming - Renwei Li (1997)
(Correct)
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000)
(Correct)
Advanced Techniques for Logic Program Specialisation - Leuschel (1997)
(10 citations)
(Correct)
Composing Complete and Partial Knowledge - Verbaeten, Bossi (1998)
(1 citation)
(Correct)
Temporal Reasoning with i-Abduction - Denecker, Van Belleghem
Self-citation (Denecker)
(Correct)
Representing Ramifications in an Event-based Language - Van Belleghem, Denecker, Dupre (1997)
Self-citation (Denecker)
(Correct)
SLDNFA: an abductive procedure for abductive logic programs - Denecker, De Schreye (1997)
(22 citations)
Self-citation (Denecker)
(Correct)
Representing Incomplete Knowledge in Abductive Logic.. - Denecker, De Schreye (1993)
(58 citations)
Self-citation (Denecker)
(Correct)
Representing Incomplete Knowledge in Abductive Logic.. - Denecker, De Schreye (1993)
(58 citations)
Self-citation (Denecker)
(Correct)
Temporal Reasoning with iff-Abduction - Denecker, van Belleghem
Self-citation (Denecker)
(Correct)
AILP: Abductive Inductive Logic Programming - Ade, Denecker (1995)
(9 citations)
Self-citation (Denecker)
(Correct)
A Brief Overview of Logic Programming Research at.. - Martens..
Self-citation (Denecker)
(Correct)
A terminological interpretation of (Abductive) Logic Programming - Denecker
Self-citation (Denecker)
(Correct)
The Abductive Event Calculus as a General Framework .. - Van Belleghem.. (1994)
(1 citation)
Self-citation (Denecker)
(Correct)
Representing Continuous Change in the Abductive Event.. - Van Belleghem.. (1994)
(4 citations)
Self-citation (Denecker)
(Correct)
A declarative perspective on Abductive Logic Programming - Denecker
Self-citation (Denecker)
(Correct)
Representing Incomplete Knowledge in Abductive Logic Programming - Denecker (1993)
(58 citations)
Self-citation (Denecker)
(Correct)
On The Relation Between Situation Calculus And Event.. - Van BELLEGHEM.. (1997)
(2 citations)
Self-citation (Denecker)
(Correct)
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