Basic Forward Chaining Construction for Logic Programs

Authors:
V. Wiktor Marek;Anil Nerode;Jeffrey B. Remmel
Affiliations:
-;-;-
Venue:
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Year:
1997

Citing 0
Cited 3

Alternating Fixpoint Theory for Logic Programs with Priority

CL '00 Proceedings of the First International Conference on Computational Logic
My work with Victor Marek: a mathematician looks at answer set programming

Annals of Mathematics and Artificial Intelligence
Consistency properties and set based logic programming

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract