Sciweavers

ICLP
1991
Springer
14 years 1 months ago
Nonmonotonic Reasoning with Well Founded Semantics
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
Luís Moniz Pereira, Joaquim Nunes Apar&iacu...
ICLP
1991
Springer
14 years 1 months ago
Introduction to Logic Programming
Jean-Marie Jacquet
ICLP
1991
Springer
14 years 1 months ago
{log}: A Logic Programming Language with Finite Sets
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...
ICLP
1991
Springer
14 years 1 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot
ICLP
1991
Springer
14 years 1 months ago
Warren's Abstract Machine
Hassan Aït-Kaci