421 search results - page 48 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
ICLP
1998
Springer
15 years 3 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
91
Voted
EWCBR
2006
Springer
15 years 2 months ago
2006
Springer
Product recommender systems are a popular application and research field of CBR for several years now. However, almost all CBRbased recommender systems are not case-based in the or...
220
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
78
Voted
ICCBR
1999
Springer
15 years 3 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...