A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics

Authors:
François Fages
Affiliations:
-
Venue:
Logic programming
Year:
1990

Citing 0
Cited 2

Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Semantics of Normal Logic Programs and Contested Information

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract