Sheila A. McIlraith

According to our database1, Sheila A. McIlraith authored at least 133 papers between 1989 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Learning Interpretable Models Expressed in Linear Temporal Logic.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Towards a Unified View of AI Planning and Reactive Synthesis.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Finite LTL Synthesis with Environment Assumptions and Quality Measures.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

SynKit: LTL Synthesis as a Service.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

LTL Realizability via Safety and Reachability Games.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning.
Proceedings of the 35th International Conference on Machine Learning, 2018

Teaching Multiple Tasks to an RL Agent using LTL.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Finite LTL Synthesis as Planning.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem.
Proceedings of the Advances in Artificial Intelligence, 2018

Advice-Based Exploration in Model-Based Reinforcement Learning.
Proceedings of the Advances in Artificial Intelligence, 2018

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
Proceedings of the Advances in Artificial Intelligence, 2018

2017
Epistemic Planning (Dagstuhl Seminar 17231).
Dagstuhl Reports, 2017

Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk).
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Numeric Planning via Abstraction and Policy Guided Search.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Towards Representing What Readers of Fiction Believe.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report).
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Logical Filtering and Smoothing: State Estimation in Partially Observable Domains.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Optimal Partial-Order Plan Relaxation via MaxSAT.
J. Artif. Intell. Res., 2016

Numeric Planning via Search Space Abstraction (Extended Abstract).
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Planning the transformation of overlays.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Using Metric Temporal Logic to Specify Scheduling Problems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Numeric Planning via Search Space Abstraction.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Strong-Cyclic Planning when Fairness is Not a Valid Assumption.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Reports of the AAAI 2014 Conference Workshops.
AI Magazine, 2015

Towards Planning the Transformation of Overlays.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Towards Tractable Inference for Resource-Bounded Agents.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Towards Ontologies in Variation.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Generating effective tests for concurrent programs via AI automated planning techniques.
STTT, 2014

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Invited Talks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Non-Deterministic Planning With Conditional Effects.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Cost-Based Query Optimization via AI Planning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Computing Contingent Plans via Fully Observable Non-Deterministic Planning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
SPARQL with Qualitative and Quantitative Preferences.
Proceedings of the 2nd International Workshop on Ordering and Reasoning, 2013

Flexible Execution of Partial Order Plans With Temporal Constraints.
Proceedings of the IJCAI 2013, 2013

Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Optimally Relaxing Partial-Order Plans with MaxSAT.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Improved Non-Deterministic Planning by Exploiting State Relevance.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Dsharp: Fast d-DNNF Compilation with sharpSAT.
Proceedings of the Advances in Artificial Intelligence, 2012

Preference-Based Planning via MaxSAT.
Proceedings of the Advances in Artificial Intelligence, 2012

2011
Representing and reasoning about preferences in requirements engineering.
Requir. Eng., 2011

John McCarthy's legacy.
Artif. Intell., 2011

Specifying and computing preferred plans.
Artif. Intell., 2011

Monitoring the Execution of Partial-Order Plans via Regression.
Proceedings of the IJCAI 2011, 2011

NSERC business intelligence network: selected topics.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

Preferred Explanations: Theory and Generation via Planning.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

Preference-Based Web Service Composition: A Middle Ground between Execution and Search.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Integrating Preferences into Goal Models for Requirements Engineering.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Diagnosis as Planning Revisited.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base.
Proceedings of the Formal Ontology in Information Systems, 2010

Fast d-DNNF Compilation with sharpSAT.
Proceedings of the Abstraction, 2010

2009
Monitoring and diagnosing software requirements.
Autom. Softw. Eng., 2009

Generating Optimal Plans in Highly-Dynamic Domains.
Proceedings of the UAI 2009, 2009

Optimizing Web Service Composition While Enforcing Regulations.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Towards Augmenting Requirements Models with Preferences.
Proceedings of the ASE 2009, 2009

HTN Planning with Preferences.
Proceedings of the IJCAI 2009, 2009

Web Service Composition via the Customization of Golog Programs with User Preferences.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Exploiting N-Gram Analysis to Predict Operator Sequences.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Computing Robust Plans in Continuous Domains.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services.
IEEE Data Eng. Bull., 2008

Planning with Preferences.
AI Magazine, 2008

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Peer-to-Peer Query Answering with Inconsistent Knowledge.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Probabilistically Estimating Backbones and Variable Bias: Experimental Overview.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Preface.
J. Log. Comput., 2007

Bringing Semantics to Web Services with OWL-S.
World Wide Web, 2007

An automated approach to monitoring and diagnosing requirements.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A Heuristic Search Approach to Planning with Temporally Extended Preferences.
Proceedings of the IJCAI 2007, 2007

Monitoring Plan Optimality During Execution.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

On Domain-Independent Heuristics for Planning with Qualitative Preferences.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

Using Expectation Maximization to Find Likely Assignments for Solving CSP's.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Domain-dependent knowledge in answer set planning.
ACM Trans. Comput. Log., 2006

Web Service Composition Via Generic Procedures and Customizing User Preferences.
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Characterizing Propagation Methods for Boolean Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic.
Proceedings of the Proceedings, 2006

Decision-Theoretic GOLOG with Qualitative Preferences.
Proceedings of the Proceedings, 2006

Planning with Qualitative Temporal Preferences.
Proceedings of the Proceedings, 2006

On Planning with Programs that Sense.
Proceedings of the Proceedings, 2006

Experimental Results on the Satisfiable Core in Random 3SAT.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

Planning with Temporally Extended Goals Using Heuristic Search.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Planning with First-Order Temporally Extended Goals using Heuristic Search.
Proceedings of the Proceedings, 2006

2005
Preface.
J. Web Semant., 2005

Towards a practical theory of reformulation for reasoning about physical systems.
Artif. Intell., 2005

Partition-based logical reasoning for first-order and propositional theories.
Artif. Intell., 2005

The Role of Redundant Clauses in Solving Satisfiability Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Mechanism Design for Preference Aggregation over Coalitions.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Bringing Semantics to Web Services: The OWL-S Approach.
Proceedings of the Semantic Web Services and Web Process Composition, 2004

Towards Declarative Programming for Web Services.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Invited talk: towards declarative programming for web services.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Invited talk: towards declarative programming for web services.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003
Bringing Semantics to Web Services.
IEEE Intelligent Systems, 2003

Analysis and simulation of Web services.
Computer Networks, 2003

Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation.
Proceedings of the Semantic Web, 2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases.
Proceedings of the IJCAI-03, 2003

2002
Toward Behavioral Intelligence in the Semantic Web.
IEEE Computer, 2002

AAAI 2002 Workshops.
AI Magazine, 2002

Simulation, verification and automated composition of web services.
Proceedings of the Eleventh International World Wide Web Conference, 2002

Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net.
Proceedings of the UAI '02, 2002

DAML-S: Web Service Description for the Semantic Web.
Proceedings of the Semantic Web, 2002

Planning with complex actions.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Adapting Golog for Composition of Semantic Web Services.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001
Semantic Web Services.
IEEE Intelligent Systems, 2001

Mobilizing the Semantic Web with DAML-enabled Web Services.
SemWeb, 2001

DAML-S: Semantic Markup for Web Services.
Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001

DAML-S: Semantic Markup for Web Services.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Theorem Proving with Structured Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
Proceedings of the Answer Set Programming, 2001

2000
Reports on the AAAI Spring Symposia (March 1999).
AI Magazine, 2000

Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes).
Artif. Intell., 2000

Improving the Efficiency of Reasoning Through Structure-Based Reformulation.
Proceedings of the Abstraction, 2000

Formulating diagnostic problem solving using an action language with narratives and sensing.
Proceedings of the KR 2000, 2000

Partition-Based Logical Reasoning.
Proceedings of the KR 2000, 2000

Hybrid Systems Diagnosis.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Modeling and Programming Devices and Web Agents.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998
Explanatory Diagnosis: Conjecturing Actions to Explain Observations.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997
Representing Actions and State Constraints in Model-Based Diagnosis.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1994
Further Contributions to Characterizing Diagnosis.
Ann. Math. Artif. Intell., 1994

Generating Tests Using Abduction.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1989
Qualitative data modeling: application of a mechanism for interpreting graphical data.
Computational Intelligence, 1989


  Loading...