780 search results - page 31 / 156 » Compositional Quantitative Reasoning |
AI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
EWIMT
2004
14 years 7 days ago
2004
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
OTM
2007
Springer
14 years 5 months ago
2007
Springer
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of ...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
FOSSACS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...