184 search results - page 18 / 37 » Actions and Programs over Description Logic Ontologies |
133
click to vote
AI
2011
Springer
14 years 6 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
101
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
107
click to vote
CADE
2002
Springer
16 years 1 days ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
100
click to vote
WWW
2005
ACM
16 years 12 days ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...