2196 search results - page 116 / 440 » Practical Reasoning Using Values |
107
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
107
click to vote
EWCBR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
128
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
107
click to vote
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
120
Voted
LPAR
2010
Springer
15 years 10 days ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...