15754 search results - page 216 / 3151 » Programs are Knowledge Bases |
124
click to vote
CBMS
2007
IEEE
15 years 11 months ago
2007
IEEE
Clinical decision-making involves an active interplay between various medical knowledge modalities. Medical knowledge morphing aims to support clinical decision support by mimicki...
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
147
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
167
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...
136
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...