Dislop: Towards a Disjunctive Logic Programming System

Authors:
Chandrabose Aravindan;Jürgen Dix;Ilkka Niemelä
Affiliations:
-;-;-
Venue:
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
1997

Citing 0
Cited 3

Disjunctive Logic Programming: A Survey and Assessment

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning
Computing large and small stable models

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract