6167 search results - page 957 / 1234 » Can Refinement be Automated |
117
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
132
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
141
Voted
RWEB
2009
Springer
15 years 10 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
121
click to vote
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
130
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...