Loop Checking and the Wll-Founded Semantics

Authors:
Vladimir Lifschitz;Norman McCain;Teodor C. Przymusinski;Robert F. Stärk
Affiliations:
-;-;-;-
Venue:
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
1995

Citing 0
Cited 3

Nonmonotonic Logic Programming

IEEE Transactions on Knowledge and Data Engineering
The Well-Founded Semantics Is a Stratified Fitting Semantics

KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
A uniform approach to logic programming semantics

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract