|
A bottom-up approach to automating web service discovery, customization, and semantic translation +,
Adapting bpel4ws for the semantic web: the bottom-up approach to web service interoperation +,
Adapting golog for composition of semantic web services +,
Adapting golog for programming the semantic web +,
Bringing semantics to web services with owl-s +,
Bringing semantics to web services: the owl-s approach +,
Daml-s: semantic markup for web services +,
Daml-s: web service description for the semantic web +,
Experimental results on the satisfiable core in random 3sat +,
Explanatory diagnosis: conjecturing actions to explain observations +,
Extending answer set planning with sequence, conditional, loop, non-deterministic choice, and procedure constructs +,
Logic-based abductive inference +,
Mobilizing the semantic web with daml-enabled web services +,
Mobilizing the web with daml-enabled web services +,
Model-enabled control of hybrid systems +,
Monitoring a complex physical system using a hybrid dynamic bayes net +,
Owl-s technology for representing constraints and capabilities of web services +,
Partition-based logical reasoning +,
Planning with different forms of domain-dependent control knowledge - an answer set programming approach +,
Practical partition-based theorem proving for large knowledge bases +,
…
|
Author
|
