110
Voted
ICLP
15 years 4 months ago
1991 Springer 
Interpretation of Logic Programs 1
ICLP
15 years 4 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...
95
Voted
ICLP
15 years 4 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...
71
Voted
ICLP
15 years 4 months ago
1991 Springer 67
Voted
ICLP
15 years 4 months ago
1991 Springer |
Automated Reasoning