- Monitoring Policy Execution Christian Fritz and Sheila A. McIlraith
- HTN Planning with Quantitative Preferences via Heuristic Search Shirin Sohrabi Jorge Baier Sheila A. McIlraith
- Planning with Different Forms of Domain-Dependent Control Knowledge
- What Sensing Tells Us: Towards A Formal Theory of Testing for Dynamical Systems
- Experimental Results on the Satisfiable Core in Random 3SAT
- Monitoring Plan Optimality during Execution: Theory and Implementation
- Computing Robust Plans in Continuous Domains Christian Fritz and Sheila McIlraith
- An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-order Extensions of Description Logic
- Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net Computer Science Dept.
- Software Testing Diane Horton
- Preference-Based Web Service Composition: A Middle Ground between Execution and Search
- Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search
- University of Toronto page 1 of 2 CSC324 Principles of Programming Languages, Winter 2007
- Model-Based Programming using Golog and the Situation Calculus Sheila A. McIlraith
- Planning with Complex Actions Sheila McIlraith
- A Heuristic Search Approach to Planning with Temporally Extended Preferences
- Improving the Efficiency of Reasoning Through Structure-Based Reformulation
- Incorporating Action into Diagnostic Problem Solving (An Abridged Report)
- Peer-to-peer Query Answering with Inconsistent Knowledge Arnold Binas and Sheila A. McIlraith
- Characterizing Propagation Methods for Boolean Satisfiability
- A Categorization of KR&R Methods for Requirement Analysis of a Query
- Hybrid Systems Diagnosis Sheila McIlraith
- Autom Softw Eng DOI 10.1007/s10515-008-0042-8
- Modeling and Programming Devices and Web Agents Sheila A. McIlraith
- Exploiting N-gram Analysis to Predict Operator Sequences Christian Muise Sheila McIlraith Jorge A. Baier Michael Reimer
- University of Toronto page 1 of 2 CSC324 Principles of Programming Languages, Fall 2005
- On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith
- Planning with Qualitative Temporal Preferences Meghyn Bienvenu
- Analysis and simulation of Web services q Srini Narayanan a,*, Sheila McIlraith b
- Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners Jorge A. Baier Christian Fritz Sheila A. McIlraith
- On Planning with Preferences in HTN Shirin Sohrabi and Sheila A. McIlraith
- Bringing Semantics to Web Services with OWL-S David Martin & Mark Burstein & Drew McDermott &
- Editor: James Hendler University of Maryland
- Learning Domain Control Knowledge for TLPlan and Beyond Tomas de la Rosa
- Diagnosis as Planning Revisited Shirin Sohrabi
- Generating Optimal Plans in Highly-Dynamic Domains Christian Fritz and Sheila A. McIlraith
- Viewing Landmarks as Temporally Extended Goals Letao Wang Jorge A. Baier Sheila A. McIlraith
- On Planning with Preferences in HTN Shirin Sohrabi and Sheila A. McIlraith
- ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories
- ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond
- Applying Probabilistic Inference to Heuristic Search by Estimating Variable Bias Eric I. Hsu and Christian J. Muise and J. Christopher Beck and Sheila A. McIlraith
- An Automated Approach to Monitoring and Diagnosing Requirements
- On Domain-Independent Heuristics for Planning with Qualitative Preferences Jorge A. Baier and Sheila A. McIlraith
- Planning with First-Order Temporally Extended Goals Using Heuristic Search Jorge A. Baier and Sheila A. McIlraith
- Decision-Theoretic GOLOG with Qualitative Preferences Christian Fritz and Sheila A. McIlraith
- Planning with Temporally Extended Goals using Heuristic Search Jorge A. Baier and Sheila McIlraith
- Planning with Temporally Extended Preferences by Heuristic Search Jorge Baier and Jeremy Hussell and Fahiem Bacchus and Sheila McIlraith
- Web Service Composition via Generic Procedures and Customizing User Preferences
- On planning with programs that sense Jorge A. Baier and Sheila A. McIlraith
- Planning with programs that sense Jorge Baier and Sheila McIlraith
- Practical Partition-Based Theorem Proving for Large Knowledge Bases Bill MacCartney
- DAML-S: Semantic Markup For Web Services The DAML Services Coalition
- Working Notes of the Fifth International Sympsium on Logical Formalizations of Commonsense Reasoning, pp. 195-202, 2001. Adapting Golog for Programming the Semantic Web
- Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)
- Adapting Golog for Composition of Semantic Web Services
- 46 1094-7167/01/$10.00 2001 IEEE IEEE INTELLIGENT SYSTEMS T h e S e m a n t i c W e b
- HTN Planning with Preferences Shirin Sohrabi Jorge A. Baier Sheila A. McIlraith
- Diagnosing Hybrid Systems: a Bayesian Model Selection Approach
- University of Toronto page 1 of 2 CSC324 Principles of Programming Languages, Fall 2005
- Probabilistically Estimating Backbones and Variable Bias: Experimental Overview
- Planning in The Face of Frequent Exogenous Events Christian Fritz and Sheila A. McIlraith
- Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners
- Partition-Based Logical Reasoning Eyal Amir and Sheila McIlraith
- Towards Diagnosing Hybrid Systems Sheila McIlraith, Gautam Biswas Dan Clancy, Vineet Gupta
- A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services
- Web Service Composition via the Customization of Golog Programs with User Preferences
- Optimizing Web Service Composition While Enforcing Regulations
- Simulation, Verification and Automated Composition of Web Services
- Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Eric Hsu
- Towards Diagnosing Hybrid Systems Sheila McIlraith, Gautam Biswas Dan Clancy, Vineet Gupta
- Exploiting MaxSAT for Preference-Based Planning Farah Juma and Eric I. Hsu and Sheila A. McIlraith
- Monitoring Plan Optimality During Execution Christian Fritz and Sheila A. McIlraith
- Artificial Intelligence 175 (2011) 13081345 Contents lists available at ScienceDirect
- Preferences play a significant role in human decision making, partic-ularly as they relate to deciding how to act. As such, it comes as no sur-
