Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDSheila A. McIlraith
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[i14]Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith:
LTL2Action: Generalizing LTL Instructions for Multi-Task RL. CoRR abs/2102.06858 (2021)- 2020
- [c118]Maayan Shvo, Sheila A. McIlraith:
Active Goal Recognition. AAAI 2020: 9957-9966 - [c117]León Illanes, Xi Yan, Rodrigo Toro Icarte, Sheila A. McIlraith:
Symbolic Plans as High-Level Instructions for Reinforcement Learning. ICAPS 2020: 540-550 - [c116]Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith:
Towards the Role of Theory of Mind in Explanation. EXTRAAMAS@AAMAS 2020: 75-93 - [c115]Maayan Shvo, Toryn Q. Klassen, Shirin Sohrabi, Sheila A. McIlraith:
Epistemic Plan Recognition. AAMAS 2020: 1251-1259 - [c114]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Changing Beliefs about Domain Dynamics in the Situation Calculus. KR 2020: 572-581 - [i13]Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith:
Towards the Role of Theory of Mind in Explanation. CoRR abs/2005.02963 (2020) - [i12]Rodrigo Toro Icarte, Richard Anthony Valenzano, Toryn Q. Klassen, Phillip Christoffersen, Amir-massoud Farahmand, Sheila A. McIlraith:
The act of remembering: a study in partially observable reinforcement learning. CoRR abs/2010.01753 (2020) - [i11]Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith:
Interpretable Sequence Classification via Discrete Optimization. CoRR abs/2010.02819 (2020) - [i10]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning. CoRR abs/2010.03950 (2020) - [i9]Keiran Paster, Sheila A. McIlraith, Jimmy Ba:
Planning from Pixels using Inverse Dynamics Models. CoRR abs/2012.02419 (2020)
2010 – 2019
- 2019
- [c113]León Illanes, Sheila A. McIlraith:
Generalized Planning via Abstraction: Arbitrary Numbers of Objects. AAAI 2019: 7610-7618 - [c112]Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith:
Towards a Unified View of AI Planning and Reactive Synthesis. ICAPS 2019: 58-67 - [c111]Alberto Camacho, Sheila A. McIlraith:
Learning Interpretable Models Expressed in Linear Temporal Logic. ICAPS 2019: 621-630 - [c110]Rodrigo Toro Icarte, León Illanes, Margarita P. Castro
, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck:
Training Binarized Neural Networks Using MIP and CP. CP 2019: 401-417 - [c109]Alberto Camacho, Sheila A. McIlraith:
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. IJCAI 2019: 5523-5531 - [c108]Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning. IJCAI 2019: 6065-6073 - [c107]Rodrigo Toro Icarte, Ethan Waldie, Toryn Q. Klassen, Richard Anthony Valenzano, Margarita P. Castro, Sheila A. McIlraith:
Learning Reward Machines for Partially Observable Reinforcement Learning. NeurIPS 2019: 15497-15508 - [i8]Maayan Shvo, Sheila A. McIlraith:
Towards Empathetic Planning. CoRR abs/1906.06436 (2019) - [i7]Alberto Camacho, Sheila A. McIlraith:
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications. CoRR abs/1912.13430 (2019) - 2018
- [j26]Sheila A. McIlraith, Kilian Q. Weinberger, G. Michael Youngblood, Karen L. Myers, Eric Eaton, Michael Wollowski:
A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium. AI Mag. 39(4): 3-16 (2018) - [c106]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Canadian Conference on AI 2018: 45-59 - [c105]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Advice-Based Exploration in Model-Based Reinforcement Learning. Canadian Conference on AI 2018: 72-83 - [c104]Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith:
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem. Canadian Conference on AI 2018: 253-258 - [c103]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Finite LTL Synthesis as Planning. ICAPS 2018: 29-38 - [c102]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Teaching Multiple Tasks to an RL Agent using LTL. AAMAS 2018: 452-461 - [c101]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning. ICML 2018: 2112-2121 - [c100]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
LTL Realizability via Safety and Reachability Games. IJCAI 2018: 4683-4691 - [c99]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
SynKit: LTL Synthesis as a Service. IJCAI 2018: 5817-5819 - [c98]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. KR 2018: 257-266 - [c97]Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith:
Finite LTL Synthesis with Environment Assumptions and Quality Measures. KR 2018: 454-463 - [e4]Sheila A. McIlraith, Kilian Q. Weinberger:
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018. AAAI Press 2018 [contents] - [i6]Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith:
Finite LTL Synthesis with Environment Assumptions and Quality Measures. CoRR abs/1808.10831 (2018) - 2017
- [c96]Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith:
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. AAAI 2017: 3613-3621 - [c95]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI 2017: 3716-3724 - [c94]Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith:
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report). AAAI Workshops 2017 - [c93]Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith:
Towards Representing What Readers of Fiction Believe. COMMONSENSE 2017 - [c92]Leon Illanes, Sheila A. McIlraith:
Numeric Planning via Abstraction and Policy Guided Search. IJCAI 2017: 4338-4345 - [c91]Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith:
Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. SOCS 2017: 159-160 - [c90]Sheila A. McIlraith:
Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). TIME 2017: 3:1-3:1 - [i5]Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith:
Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports 7(6): 1-47 (2017) - 2016
- [j25]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. 57: 113-149 (2016) - [c89]Alberto Camacho, Christian J. Muise, Sheila A. McIlraith:
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. ICAPS 2016: 65-69 - [c88]Alberto Camacho, Sheila A. McIlraith:
Strong-Cyclic Planning when Fairness is Not a Valid Assumption. KnowProS@IJCAI 2016 - [c87]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). KnowProS@IJCAI 2016 - [c86]Leon Illanes, Sheila A. McIlraith:
Numeric Planning via Search Space Abstraction. KnowProS@IJCAI 2016 - [c85]Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith:
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. KnowProS@IJCAI 2016 - [c84]Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith:
Using Metric Temporal Logic to Specify Scheduling Problems. KR 2016: 581-584 - [c83]Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen:
Planning the transformation of overlays. SAC 2016: 500-507 - [c82]Leon Illanes, Sheila A. McIlraith:
Numeric Planning via Search Space Abstraction (Extended Abstract). SOCS 2016: 133-134 - 2015
- [j24]Stefano V. Albrecht, André da Motta Salles Barreto, Darius Braziunas, David L. Buckeridge, Heriberto Cuayáhuitl, Nina Dethlefs, Markus Endres, Amir-massoud Farahmand, Mark Fox, Lutz Frommberger, Sam Ganzfried, Yolanda Gil, Sébastien Guillet, Lawrence E. Hunter, Arnav Jhala, Kristian Kersting, George Dimitri Konidaris, Freddy Lécué, Sheila A. McIlraith, Sriraam Natarajan, Zeinab Noorian, David Poole, Rémi Ronfard, Alessandro Saffiotti, Arash Shaban-Nejad, Biplav Srivastava, Gerald Tesauro, Rosario Uceda-Sosa, Guy Van den Broeck, Martijn van Otterlo, Byron C. Wallace, Paul Weng, Jenna Wiens, Jie Zhang:
Reports of the AAAI 2014 Conference Workshops. AI Mag. 36(1): 87-98 (2015) - [c81]Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI 2015: 3327-3334 - [c80]Torsten Hahmann, Sheila A. McIlraith:
Towards Ontologies in Variation. AAAI Spring Symposia 2015 - [c79]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Towards Tractable Inference for Resource-Bounded Agents. AAAI Spring Symposia 2015 - [c78]Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen:
Towards Planning the Transformation of Overlays. ICDCS 2015: 782-783 - 2014
- [j23]Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith:
Generating effective tests for concurrent programs via AI automated planning techniques. Int. J. Softw. Tools Technol. Transf. 16(1): 49-65 (2014) - [c77]Christian J. Muise, Vaishak Belle, Sheila A. McIlraith:
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. AAAI 2014: 2322-2329 - [c76]Nathan Robinson, Sheila A. McIlraith, David Toman:
Cost-Based Query Optimization via AI Planning. AAAI 2014: 2344-2351 - [c75]Christian J. Muise, Sheila A. McIlraith, Vaishak Belle:
Non-Deterministic Planning With Conditional Effects. ICAPS 2014 - [c74]Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith:
Invited Talks. KR 2014 - [c73]Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith:
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. KR 2014 - 2013
- [c72]Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith:
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. AAAI 2013 - [c71]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI 2013: 2328-2335 - [c70]Marina Gueroussova, Axel Polleres, Sheila A. McIlraith:
SPARQL with Qualitative and Quantitative Preferences. OrdRing@ISWC 2013: 2-8 - [i4]Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller:
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. CoRR abs/1301.0582 (2013) - 2012
- [c69]Farah Juma, Eric I. Hsu, Sheila A. McIlraith:
Preference-Based Planning via MaxSAT. Canadian Conference on AI 2012: 109-120 - [c68]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian Conference on AI 2012: 356-361 - [c67]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS 2012 - [c66]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS 2012 - [e3]Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith:
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press 2012, ISBN 978-1-57735-560-1 [contents] - [i3]Christian Fritz, Sheila A. McIlraith:
Generating Optimal Plans in Highly-Dynamic Domains. CoRR abs/1205.2647 (2012) - 2011
- [j22]Leora Morgenstern, Sheila A. McIlraith:
John McCarthy's legacy. Artif. Intell. 175(1): 1-24 (2011) - [j21]Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith:
Specifying and computing preferred plans. Artif. Intell. 175(7-8): 1308-1345 (2011) - [j20]Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos:
Representing and reasoning about preferences in requirements engineering. Requir. Eng. 16(3): 227-249 (2011) - [c65]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
Preferred Explanations: Theory and Generation via Planning. AAAI 2011 - [c64]Renée J. Miller, Frank Wm. Tompa, Sheila A. McIlraith, Jacob Slonim, Eric S. K. Yu:
NSERC business intelligence network: selected topics. CASCON 2011: 313-315 - [c63]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Monitoring the Execution of Partial-Order Plans via Regression. IJCAI 2011: 1975-1982 - 2010
- [c62]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation 2010 - [c61]Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman:
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. FOIS 2010: 158-171 - [c60]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
Diagnosis as Planning Revisited. KR 2010 - [c59]Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos:
Integrating Preferences into Goal Models for Requirements Engineering. RE 2010: 135-144 - [c58]Shirin Sohrabi, Sheila A. McIlraith:
Preference-Based Web Service Composition: A Middle Ground between Execution and Search. International Semantic Web Conference (1) 2010: 713-729 - [c57]Eric I. Hsu, Sheila A. McIlraith:
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. SOCS 2010
2000 – 2009
- 2009
- [j19]Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith:
A heuristic search approach to planning with temporally extended preferences. Artif. Intell. 173(5-6): 593-618 (2009) - [j18]Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
Monitoring and diagnosing software requirements. Autom. Softw. Eng. 16(1): 3-35 (2009) - [c56]Christian Fritz, Sheila A. McIlraith:
Computing Robust Plans in Continuous Domains. ICAPS 2009 - [c55]Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer:
Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS 2009 - [c54]Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith:
Web Service Composition via the Customization of Golog Programs with User Preferences. Conceptual Modeling: Foundations and Applications 2009: 319-334 - [c53]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
HTN Planning with Preferences. IJCAI 2009: 1790-1797 - [c52]Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos:
Towards Augmenting Requirements Models with Preferences. ASE 2009: 565-569 - [c51]Eric I. Hsu, Sheila A. McIlraith:
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. SAT 2009: 377-390 - [c50]Shirin Sohrabi, Sheila A. McIlraith:
Optimizing Web Service Composition While Enforcing Regulations. International Semantic Web Conference 2009: 601-617 - [c49]Christian Fritz, Sheila A. McIlraith:
Generating Optimal Plans in Highly-Dynamic Domains. UAI 2009: 177-184 - [i2]Shirin Sohrabi, Sheila A. McIlraith:
On Planning with Preferences in HTN. CoRR abs/0909.0682 (2009) - 2008
- [j17]Jorge A. Baier, Sheila A. McIlraith:
Planning with Preferences. AI Mag. 29(4): 25-36 (2008) - [j16]Michael Grüninger, Richard Hull, Sheila A. McIlraith:
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. 31(3): 3-7 (2008) - [c48]Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith:
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. AAAI 2008: 1509-1512 - [c47]Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP 2008: 613-617 - [c46]Arnold Binas, Sheila A. McIlraith:
Peer-to-Peer Query Answering with Inconsistent Knowledge. KR 2008: 329-339 - [c45]Christian Fritz, Jorge A. Baier, Sheila A. McIlraith:
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. KR 2008: 600-610 - 2007
- [j15]David L. Martin, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci, Katia P. Sycara, Deborah L. McGuinness, Evren Sirin, Naveen Srinivasan:
Bringing Semantics to Web Services with OWL-S. World Wide Web(3): 243-277 (2007) - [j14]Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher:
Preface. J. Log. Comput. 17(5): 847-849 (2007) - [c44]Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith:
Using Expectation Maximization to Find Likely Assignments for Solving CSP's. AAAI 2007: 224-230 - [c43]Jorge A. Baier, Sheila A. McIlraith:
On Domain-Independent Heuristics for Planning with Qualitative Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 7-12 - [c42]Jorge A. Baier, Christian Fritz, Sheila A. McIlraith:
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. ICAPS 2007: 26-33 - [c41]Christian Fritz, Sheila A. McIlraith:
Monitoring Plan Optimality During Execution. ICAPS 2007: 144-151 - [c40]Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith:
A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815 - [c39]Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
An automated approach to monitoring and diagnosing requirements. ASE 2007: 293-302 - 2006
- [j13]Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith:
Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. 7(4): 613-657 (2006) - [c38]Jorge A. Baier, Sheila A. McIlraith:
Planning with First-Order Temporally Extended Goals using Heuristic Search. AAAI 2006: 788-795 - [c37]Jorge A. Baier, Sheila A. McIlraith:
Planning with Temporally Extended Goals Using Heuristic Search. ICAPS 2006: 342-345 - [c36]Honglei Zeng, Sheila A. McIlraith:
Experimental Results on the Satisfiable Core in Random 3SAT. ISAIM 2006 - [c35]Scott Sanner, Sheila A. McIlraith:
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. KR 2006: 100-111 - [c34]Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith:
Planning with Qualitative Temporal Preferences. KR 2006: 134-144 - [c33]Christian Fritz, Sheila A. McIlraith:
Decision-Theoretic GOLOG with Qualitative Preferences. KR 2006: 153-163 - [c32]Jorge A. Baier, Sheila A. McIlraith:
On Planning with Programs that Sense. KR 2006: 492-502 - [c31]Eric I. Hsu, Sheila A. McIlraith:
Characterizing Propagation Methods for Boolean Satisfiability. SAT 2006: 325-338 - [c30]Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith:
Web Service Composition Via Generic Procedures and Customizing User Preferences. International Semantic Web Conference 2006: 597-611 - 2005
- [j12]Eyal Amir, Sheila A. McIlraith:
Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005) - [j11]Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith:
Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. 162(1-2): 145-204 (2005) - [j10]Sheila A. McIlraith, Dimitris Plexousakis:
Preface. J. Web Semant. 3(2-3): 77-78 (2005) - [c29]Eric I. Hsu, Sheila A. McIlraith:
Mechanism Design for Preference Aggregation over Coalitions. CP 2005: 852 - [c28]Honglei Zeng, Sheila A. McIlraith:
The Role of Redundant Clauses in Solving Satisfiability Problems. CP 2005: 873 - 2004
- [c27]Sheila A. McIlraith:
Invited talk: towards declarative programming for web services. PEPM 2004: 1-2 - [c26]Sheila A. McIlraith:
Invited talk: towards declarative programming for web services. PPDP 2004: 3-4 - [c25]Sheila A. McIlraith:
Towards Declarative Programming for Web Services. SAS 2004: 21 - [c24]David L. Martin, Massimo Paolucci, Sheila A. McIlraith, Mark H. Burstein, Drew V. McDermott, Deborah L. McGuinness, Bijan Parsia, Terry R. Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, Katia P. Sycara:
Bringing Semantics to Web Services: The OWL-S Approach. SWSWPC 2004: 26-42 - [e2]Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen:
The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings. Lecture Notes in Computer Science 3298, Springer 2004, ISBN 3-540-23798-4 [contents] - 2003
- [j9]Srini Narayanan, Sheila A. McIlraith:
Analysis and simulation of Web services. Comput. Networks 42(5): 675-693 (2003) - [j8]Sheila A. McIlraith, David L. Martin:
Bringing Semantics to Web Services. IEEE Intell. Syst. 18(1): 90-93 (2003) - [c23]Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe:
Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98 - [c22]Daniel J. Mandell, Sheila A. McIlraith:
Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. International Semantic Web Conference 2003: 227-241 - [c21]Daniel J. Mandell, Sheila A. McIlraith:
Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. WWW (Posters) 2003 - 2002
- [j7]M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub,