2722 search results - page 98 / 545 » The Model Evolution Calculus |
PPSN
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
EDOC
2011
IEEE
12 years 7 months ago
2011
IEEE
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...