205
Voted
ICLP
15 years 11 months ago
1991 Springer 
Interpretation of Logic Programs 1
184
Voted
ICLP
15 years 11 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...
184
Voted
ICLP
15 years 11 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...
144
Voted
ICLP
15 years 11 months ago
1991 Springer 137
Voted
ICLP
15 years 11 months ago
1991 Springer |
Automated Reasoning