On The Correctness Of Unfold/fold Transformation Of Normal And Extended Logic Programs (1995)

Cached

Download Links

by Chandrabose Aravindan , Phan Minh Dung
Venue:JOURNAL OF LOGIC PROGRAMMING
Citations:25 - 1 self

Active Bibliography

223 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
18 A Unifying View for Logic Programming with Non-Monotonic Reasoning – Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello - 1997
Knowledge representations, reasoning and . . . – Chitta Baral - 2001
7 Iterative Belief Revision in Extended Logic Programming – Jia-huai You, Robert Cartwright, Ming Li - 1996
1 Logic Programming with Assumption Denial – Jia-huai You, Li Yan Yuan - 1995
13 Abduction Over 3-Valued Extended Logic Programs – Carlos Viegas Damásio, Luís Moniz Pereira - 1995
4 Reasoning about Stable Models (and Other Unstable Semantics) – Michael J. Maher - 1990
5 Correctness of Logic Program Transformations Based on Existential Termination – Kung-kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti - 1995
14 Transformation Rules for Locally Stratified Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2004
20 On the Partial Semantics for Disjunctive Deductive Databases – Thomas Eiter, Nicola Leone, Domenico Sacca - 1997
2 An Argumentation Theoretic Semantics Based on Non-Refutable Falsity – Jose Julio Alferes, José Júlio, Alferes Luís, Luís Moniz Pereira
1 Logic Program Semantics and Circumscription of Autoepistemic Theories – Li-yan Yuan - 1994
162 An abstract, argumentation-theoretic approach to default reasoning – A. Bondarenko, P. M. Dung, R. A. Kowalski, F. Toni - 1997
1 Parallel Logic Programming With Extensions – Luís Moniz Pereira, Lu'is Moniz Pereira, Luís Damas, José C. Cunha, Ciencia Dos Computadores - 1995
38 "Classical" Negation in Non-Monotonic Reasoning and Logic Programming – José Alferes , Luís Moniz Pereira, Teodor C. Przymusinski - 1998
6 A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs – Michael Thielscher - 1996
13 Argumentation-Theoretic Proof Procedures for Default Reasoning – P.M. Dung, R. A. Kowalski, F. Toni - 1998
5 Coherence Approach to Logic Program Revision – Li-yan Yuan, Jia-huai You
A Generalization of the Folding Rule for the Clark-Kunen Semantics ⋆ – Javier Álvez, Paqui Lucio