131
Voted
ICLP
15 years 6 months ago
1991 Springer 
Interpretation of Logic Programs 1
113
Voted
ICLP
15 years 6 months ago
1991 Springer
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...
109
Voted
ICLP
15 years 6 months ago
1991 Springer 
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...
ICLP
15 years 6 months ago
1991 Springer ICLP
15 years 6 months ago
1991 Springer |
Automated Reasoning