3973 search results - page 94 / 795 » Records for Logic Programming |
109
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
112
Voted
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
215
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
86
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
