127
Voted
ICLP
15 years 7 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...
127
Voted
ICLP
15 years 7 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...
100
Voted
ICLP
15 years 7 months ago
1991 Springer 91
Voted
ICLP
15 years 7 months ago
1991 Springer |
Automated Reasoning