4617 search results - page 831 / 924 » Automation of Diagrammatic Reasoning |
161
click to vote
RR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
199
click to vote
RR
2007
Springer
16 years 28 days ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
178
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
152
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...
159
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...