]> 2012-05-27T23:37:50-04:00 Sheila A. McIlraith Sheila McIlraith Sheila A. McIlraith Bringing semantics to web services with owl-s Bringing semantics to web services: the owl-s approach Web service composition via generic procedures and customizing user preferences Adapting bpel4ws for the semantic web: the bottom-up approach to web service interoperation Daml-s: web service description for the semantic web Mobilizing the semantic web with daml-enabled web services Monitoring a complex physical system using a hybrid dynamic bayes net Practical partition-based theorem proving for large knowledge bases Towards diagnosing hybrid systems Mobilizing the web with daml-enabled web services Adapting golog for programming the semantic web Adapting golog for composition of semantic web services Simulation, verification and automated composition of web services Experimental results on the satisfiable core in random 3sat The role of redundant clauses in solving satisfiability problems Partition-based logical reasoning Daml-s: semantic markup for web services Logic-based abductive inference Model-enabled control of hybrid systems Towards exploiting generic procedures in model-based computing Explanatory diagnosis: conjecturing actions to explain observations Theorem proving with structed theories (full report) Extending answer set planning with sequence, conditional, loop, non-deterministic choice, and procedure constructs Planning with different forms of domain-dependent control knowledge - an answer set programming approach Solving satisfiability using decomposition and the most constrained subproblem Thoughts towards a practical theory of reformulation for reasoning about physical systems A bottom-up approach to automating web service discovery, customization, and semantic translation Owl-s technology for representing constraints and capabilities of web services Paulo Pinheiro da Silva Deborah L. McGuinness Deborah L. McGuinness Collaborator Coauthor Colaborator Author Semantic web Computer science Tag Name Last name File:Anonymous.png Image First name U Toronto Affiliation Person