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

227 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
538 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
Knowledge representations, reasoning and . . . – Chitta Baral - 2001
789 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games – Phan Minh Dung - 1995
7 Iterative Belief Revision in Extended Logic Programming – Jia-huai You, Robert Cartwright, Ming Li - 1996
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991