Author Sheila A. McIlraith
From Semantic Portal Wiki
A list of all pages that have property "Author" with value "Sheila A. McIlraith"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Simulation, verification and automated composition of web services +
- Practical partition-based theorem proving for large knowledge bases +
- Planning with different forms of domain-dependent control knowledge - an answer set programming approach +
- Partition-based logical reasoning +
- Owl-s technology for representing constraints and capabilities of web services +
- Monitoring a complex physical system using a hybrid dynamic bayes net +
- Model-enabled control of hybrid systems +
- Mobilizing the web with daml-enabled web services +
- Mobilizing the semantic web with daml-enabled web services +
- Logic-based abductive inference +
- Extending answer set planning with sequence, conditional, loop, non-deterministic choice, and procedure constructs +
- Explanatory diagnosis: conjecturing actions to explain observations +
- Experimental results on the satisfiable core in random 3sat +
- Daml-s: web service description for the semantic web +
- Daml-s: semantic markup for web services +
- Bringing semantics to web services: the owl-s approach +
- Bringing semantics to web services with owl-s +
- Adapting golog for programming the semantic web +
- Adapting golog for composition of semantic web services +
- Adapting bpel4ws for the semantic web: the bottom-up approach to web service interoperation +
- A bottom-up approach to automating web service discovery, customization, and semantic translation +
