The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sheila A. McIlraith" ( http://dblp.L3S.de/Authors/Sheila_A._McIlraith )

URL (Homepage):  http://www.cs.toronto.edu/~sheila/  Author page on DBLP  Author page in RDF  Community of Sheila A. McIlraith in ASPL-2

Publication years (Num. hits)
1989-2001 (20) 2002-2004 (19) 2005-2006 (15) 2007-2009 (25) 2010-2012 (18) 2013-2015 (15) 2016-2017 (17) 2018 (12)
Publication types (Num. hits)
article(31) inproceedings(106) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 24 keywords

Results
Found 142 publication records. Showing 141 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith Finite LTL Synthesis with Environment Assumptions and Quality Measures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith Advice-Based Exploration in Model-Based Reinforcement Learning. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith Finite LTL Synthesis as Planning. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Sheila A. McIlraith, Kilian Q. Weinberger (eds.) 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 Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith Finite LTL Synthesis with Environment Assumptions and Quality Measures. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning. Search on Bibsonomy ICML The full citation details ... 2018 DBLP  BibTeX  RDF
1Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith Teaching Multiple Tasks to an RL Agent using LTL. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith LTL Realizability via Safety and Reachability Games. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith SynKit: LTL Synthesis as a Service. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith Epistemic Planning (Dagstuhl Seminar 17231). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. Search on Bibsonomy SOCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith Towards Representing What Readers of Fiction Believe. Search on Bibsonomy COMMONSENSE The full citation details ... 2017 DBLP  BibTeX  RDF
1Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report). Search on Bibsonomy AAAI Workshops The full citation details ... 2017 DBLP  BibTeX  RDF
1Alberto 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. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Sheila A. McIlraith Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leon Illanes, Sheila A. McIlraith Numeric Planning via Abstraction and Policy Guided Search. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith Optimal Partial-Order Plan Relaxation via MaxSAT. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Leon Illanes, Sheila A. McIlraith Numeric Planning via Search Space Abstraction (Extended Abstract). Search on Bibsonomy SOCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Alberto Camacho, Christian J. Muise, Sheila A. McIlraith From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen Planning the transformation of overlays. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith Using Metric Temporal Logic to Specify Scheduling Problems. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alberto Camacho, Sheila A. McIlraith Strong-Cyclic Planning when Fairness is Not a Valid Assumption. Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Leon Illanes, Sheila A. McIlraith Numeric Planning via Search Space Abstraction. Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alberto 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). Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefano 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 Konidaris, Freddy Lécué, Sheila A. McIlraith, Sriraam Natarajan, Zeinab Noorian, David Poole 0001, 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. Search on Bibsonomy AI Magazine The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen Towards Planning the Transformation of Overlays. Search on Bibsonomy ICDCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque Towards Tractable Inference for Resource-Bounded Agents. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Torsten Hahmann, Sheila A. McIlraith Towards Ontologies in Variation. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith Generating effective tests for concurrent programs via AI automated planning techniques. Search on Bibsonomy STTT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, Vaishak Belle Non-Deterministic Planning With Conditional Effects. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  BibTeX  RDF
1Nathan Robinson, Sheila A. McIlraith, David Toman Cost-Based Query Optimization via AI Planning. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Christian J. Muise, Vaishak Belle, Sheila A. McIlraith Computing Contingent Plans via Fully Observable Non-Deterministic Planning. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith Invited Talks. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Marina Gueroussova, Axel Polleres, Sheila A. McIlraith SPARQL with Qualitative and Quantitative Preferences. Search on Bibsonomy OrdRing@ISWC The full citation details ... 2013 DBLP  BibTeX  RDF
1Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith Flexible Execution of Partial Order Plans With Temporal Constraints. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Christian Fritz 0001, Sheila A. McIlraith Generating Optimal Plans in Highly-Dynamic Domains Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Farah Juma, Eric I. Hsu, Sheila A. McIlraith Preference-Based Planning via MaxSAT. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu Dsharp: Fast d-DNNF Compilation with sharpSAT. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck Optimally Relaxing Partial-Order Plans with MaxSAT. Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck Improved Non-Deterministic Planning by Exploiting State Relevance. Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Leora Morgenstern, Sheila A. McIlraith John McCarthy's legacy. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Christian Fritz 0001, Sheila A. McIlraith Specifying and computing preferred plans. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos Representing and reasoning about preferences in requirements engineering. Search on Bibsonomy Requir. Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Renée J. Miller, Frank Wm. Tompa, Sheila A. McIlraith, Jacob Slonim, Eric S. K. Yu NSERC business intelligence network: selected topics. Search on Bibsonomy CASCON The full citation details ... 2011 DBLP  BibTeX  RDF
1Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith Preferred Explanations: Theory and Generation via Planning. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck Monitoring the Execution of Partial-Order Plans via Regression. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric I. Hsu, Sheila A. McIlraith Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. Search on Bibsonomy SOCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu Fast d-DNNF Compilation with sharpSAT. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
1Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos Integrating Preferences into Goal Models for Requirements Engineering. Search on Bibsonomy RE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shirin Sohrabi, Sheila A. McIlraith Preference-Based Web Service Composition: A Middle Ground between Execution and Search. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith Diagnosis as Planning Revisited. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Vinay 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. Search on Bibsonomy FOIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith A heuristic search approach to planning with temporally extended preferences. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shirin Sohrabi, Sheila A. McIlraith On Planning with Preferences in HTN Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yiqiao Wang 0001, Sheila A. McIlraith, Yijun Yu, John Mylopoulos Monitoring and diagnosing software requirements. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Diagnostics, Requirement monitoring
1Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith Web Service Composition via the Customization of Golog Programs with User Preferences. Search on Bibsonomy Conceptual Modeling: Foundations and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer Exploiting N-Gram Analysis to Predict Operator Sequences. Search on Bibsonomy ICAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Christian Fritz 0001, Sheila A. McIlraith Computing Robust Plans in Continuous Domains. Search on Bibsonomy ICAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos Towards Augmenting Requirements Models with Preferences. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF requirements engineering, variability, preferences
1Shirin Sohrabi, Sheila A. McIlraith Optimizing Web Service Composition While Enforcing Regulations. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric I. Hsu, Sheila A. McIlraith VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Survey Propagation/EMBP, Variable/Value Ordering Heuristics, Probabilistic Inference
1Christian Fritz 0001, Sheila A. McIlraith Generating Optimal Plans in Highly-Dynamic Domains. Search on Bibsonomy UAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith HTN Planning with Preferences. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Jorge A. Baier, Sheila A. McIlraith Planning with Preferences. Search on Bibsonomy AI Magazine The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Grüninger, Richard Hull 0001, Sheila A. McIlraith A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2008 DBLP  BibTeX  RDF
1Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jorge A. Baier, Christian Fritz 0001, Meghyn Bienvenu, Sheila A. McIlraith Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Arnold Binas, Sheila A. McIlraith Peer-to-Peer Query Answering with Inconsistent Knowledge. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Christian Fritz 0001, Jorge A. Baier, Sheila A. McIlraith ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher Preface. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christian Fritz 0001, Sheila A. McIlraith Monitoring Plan Optimality During Execution. Search on Bibsonomy ICAPS The full citation details ... 2007 DBLP  BibTeX  RDF
1Jorge A. Baier, Christian Fritz 0001, Sheila A. McIlraith Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. Search on Bibsonomy ICAPS The full citation details ... 2007 DBLP  BibTeX  RDF
1Yiqiao Wang 0001, Sheila A. McIlraith, Yijun Yu, John Mylopoulos An automated approach to monitoring and diagnosing requirements. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF diagnostics, requirements monitoring
1Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith Using Expectation Maximization to Find Likely Assignments for Solving CSP's. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1David L. Martin 0001, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci 0001, Katia P. Sycara, Deborah L. McGuinness, Evren Sirin, Naveen Srinivasan Bringing Semantics to Web Services with OWL-S. Search on Bibsonomy World Wide Web The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Web Services, Semantic Web, service composition, service discovery, OWL, Semantic Web Services, OWL-S
1Jorge A. Baier, Sheila A. McIlraith On Domain-Independent Heuristics for Planning with Qualitative Preferences. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2007 DBLP  BibTeX  RDF
1Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith A Heuristic Search Approach to Planning with Temporally Extended Preferences. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith Domain-dependent knowledge in answer set planning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF answer set planning, control knowledge, planning, Reasoning about actions, procedural knowledge
1Jorge A. Baier, Sheila A. McIlraith Planning with Temporally Extended Goals Using Heuristic Search. Search on Bibsonomy ICAPS The full citation details ... 2006 DBLP  BibTeX  RDF
1Jorge A. Baier, Sheila A. McIlraith Planning with First-Order Temporally Extended Goals using Heuristic Search. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith Web Service Composition Via Generic Procedures and Customizing User Preferences. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian Fritz 0001, Sheila A. McIlraith Decision-Theoretic GOLOG with Qualitative Preferences. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Christian Fritz 0001, Sheila A. McIlraith Planning with Qualitative Temporal Preferences. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Scott Sanner, Sheila A. McIlraith An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Jorge A. Baier, Sheila A. McIlraith On Planning with Programs that Sense. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Honglei Zeng, Sheila A. McIlraith Experimental Results on the Satisfiable Core in Random 3SAT. Search on Bibsonomy ISAIM The full citation details ... 2006 DBLP  BibTeX  RDF
1Eric I. Hsu, Sheila A. McIlraith Characterizing Propagation Methods for Boolean Satisfiability. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Eyal Amir, Sheila A. McIlraith Partition-based logical reasoning for first-order and propositional theories. Search on Bibsonomy Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith Towards a practical theory of reformulation for reasoning about physical systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sheila A. McIlraith, Dimitris Plexousakis Preface. Search on Bibsonomy J. Web Semant. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 141 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license