1917 search results - page 121 / 384 » Experimenting with Nonmonotonic Reasoning |
85
Voted
ICCBR
1997
Springer
15 years 5 months ago
1997
Springer
This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...
98
Voted
AAAI
1994
15 years 2 months ago
1994
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
124
Voted
CIDR
2009
15 years 1 months ago
2009
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
87
Voted
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...