Search the dblp DataBase
Sheila A. McIlraith :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jorge A. Baier , Sheila A. McIlraith Planning with First-Order Temporally Extended Goals using Heuristic Search. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] Sheila A. McIlraith Representing Actions and State Constraints in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1997, pp:43-49 [Conf ] Sheila A. McIlraith , Richard B. Scherl What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2000, pp:483-490 [Conf ] Tran Cao Son , Chitta Baral , Sheila A. McIlraith Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] Eric Hsu , Sheila A. McIlraith Mechanism Design for Preference Aggregation over Coalitions. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:852- [Conf ] Honglei Zeng , Sheila A. McIlraith The Role of Redundant Clauses in Solving Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:873- [Conf ] Sheila A. McIlraith Modeling and Programming Devices and Web Agents. [Citation Graph (0, 0)][DBLP ] FAABS, 2000, pp:63-77 [Conf ] Sheila A. McIlraith , Gautam Biswas , Dan Clancy , Vineet Gupta Hybrid Systems Diagnosis. [Citation Graph (0, 0)][DBLP ] HSCC, 2000, pp:282-295 [Conf ] Bill MacCartney , Sheila A. McIlraith , Eyal Amir , Tomás E. Uribe Practical Partition-Based Theorem Proving for Large Knowledge Bases. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:89-98 [Conf ] Sheila A. McIlraith , Eyal Amir Theorem Proving with Structured Theories. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:624-634 [Conf ] Jorge A. Baier , Fahiem Bacchus , Sheila A. McIlraith A Heuristic Search Approach to Planning with Temporally Extended Preferences. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:1808-1815 [Conf ] Eyal Amir , Sheila A. McIlraith Partition-Based Logical Reasoning. [Citation Graph (0, 0)][DBLP ] KR, 2000, pp:389-400 [Conf ] Jorge A. Baier , Sheila A. McIlraith On Planning with Programs that Sense. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:492-502 [Conf ] Chitta Baral , Sheila A. McIlraith , Tran Cao Son Formulating diagnostic problem solving using an action language with narratives and sensing. [Citation Graph (0, 0)][DBLP ] KR, 2000, pp:311-322 [Conf ] Meghyn Bienvenu , Christian Fritz , Sheila A. McIlraith Planning with Qualitative Temporal Preferences. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:134-144 [Conf ] Christian Fritz , Sheila A. McIlraith Decision-Theoretic GOLOG with Qualitative Preferences. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:153-163 [Conf ] Sheila A. McIlraith Explanatory Diagnosis: Conjecturing Actions to Explain Observations. [Citation Graph (0, 0)][DBLP ] KR, 1998, pp:167-179 [Conf ] Sheila A. McIlraith Generating Tests Using Abduction. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:449-460 [Conf ] Sheila A. McIlraith , Tran Cao Son Adapting Golog for Composition of Semantic Web Services. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:482-496 [Conf ] Scott Sanner , Sheila A. McIlraith An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:100-111 [Conf ] Tran Cao Son , Chitta Baral , Sheila A. McIlraith Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:226-239 [Conf ] Sheila A. McIlraith , Ronald Fadel Planning with complex actions. [Citation Graph (0, 0)][DBLP ] NMR, 2002, pp:356-364 [Conf ] Sheila A. McIlraith Invited talk: towards declarative programming for web services. [Citation Graph (0, 0)][DBLP ] PEPM, 2004, pp:1-2 [Conf ] Sheila A. McIlraith Invited talk: towards declarative programming for web services. [Citation Graph (0, 0)][DBLP ] PPDP, 2004, pp:3-4 [Conf ] Eyal Amir , Sheila A. McIlraith Improving the Efficiency of Reasoning Through Structure-Based Reformulation. [Citation Graph (0, 0)][DBLP ] SARA, 2000, pp:247-259 [Conf ] Sheila A. McIlraith Towards Declarative Programming for Web Services. [Citation Graph (0, 0)][DBLP ] SAS, 2004, pp:21- [Conf ] Eric I. Hsu , Sheila A. McIlraith Characterizing Propagation Methods for Boolean Satisfiability. [Citation Graph (0, 0)][DBLP ] SAT, 2006, pp:325-338 [Conf ] Mark H. Burstein , Jerry R. Hobbs , Ora Lassila , David L. Martin , Drew V. McDermott , Sheila A. McIlraith , Srini Narayanan , Massimo Paolucci , Terry R. Payne , Katia P. Sycara DAML-S: Web Service Description for the Semantic Web. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2002, pp:348-363 [Conf ] Anupriya Ankolekar , Mark H. Burstein , Jerry R. Hobbs , Ora Lassila , David L. Martin , Sheila A. McIlraith , Srini Narayanan , Massimo Paolucci , Terry R. Payne , Katia P. Sycara , Honglei Zeng DAML-S: Semantic Markup for Web Services. [Citation Graph (0, 0)][DBLP ] SWWS, 2001, pp:411-430 [Conf ] Anupriya Ankolekar , Mark H. Burstein , Jerry R. Hobbs , Ora Lassila , David L. Martin , Sheila A. McIlraith , Srini Narayanan , Massimo Paolucci , Terry R. Payne , Katia P. Sycara , Honglei Zeng DAML-S: Semantic Markup for Web Services. [Citation Graph (0, 0)][DBLP ] The Emerging Semantic Web, 2001, pp:- [Conf ] Daniel J. Mandell , Sheila A. McIlraith Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2003, pp:227-241 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SWSWPC, 2004, pp:26-42 [Conf ] Sheila A. McIlraith , Tran Cao Son , Honglei Zeng Mobilizing the Semantic Web with DAML-enabled Web Services. [Citation Graph (0, 0)][DBLP ] SemWeb, 2001, pp:- [Conf ] Shirin Sohrabi , Nataliya Prokoshyna , Sheila A. McIlraith Web Service Composition Via Generic Procedures and Customizing User Preferences. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2006, pp:597-611 [Conf ] Uri Lerner , Brooks Moses , Scott Maricia , Sheila A. McIlraith , Daphne Koller Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. [Citation Graph (0, 0)][DBLP ] UAI, 2002, pp:301-310 [Conf ] Daniel J. Mandell , Sheila A. McIlraith Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. [Citation Graph (0, 0)][DBLP ] WWW (Posters), 2003, pp:- [Conf ] Srini Narayanan , Sheila A. McIlraith Simulation, verification and automated composition of web services. [Citation Graph (0, 0)][DBLP ] WWW, 2002, pp:77-88 [Conf ] Eyal Amir , Sheila A. McIlraith Partition-based logical reasoning for first-order and propositional theories. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2005, v:162, n:1-2, pp:49-88 [Journal ] Berthe Y. Choueiry , Yumi Iwasaki , Sheila A. McIlraith Towards a practical theory of reformulation for reasoning about physical systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2005, v:162, n:1-2, pp:145-204 [Journal ] Sheila A. McIlraith Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2000, v:116, n:1-2, pp:87-121 [Journal ] 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 , Carla P. Gomes , Toby Walsh , Haipeng Guo , Eric Horvitz , Nancy Ide , Christopher A. Welty , Frank D. Anger , Hans W. Guesgen , Gérard Ligozat AAAI 2002 Workshops. [Citation Graph (0, 0)][DBLP ] AI Magazine, 2002, v:23, n:4, pp:113-121 [Journal ] David J. Musliner , Barney Pell , Wolff Dobson , Kai Goebel , Gautam Biswas , Sheila A. McIlraith , Giuseppina C. Gini , Sven Koenig , Shlomo Zilberstein , Weixiong Zhang Reports on the AAAI Spring Symposia (March 1999). [Citation Graph (0, 0)][DBLP ] AI Magazine, 2000, v:21, n:2, pp:79-84 [Journal ] Sheila A. McIlraith Further Contributions to Characterizing Diagnosis. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1994, v:11, n:1-4, pp:137-167 [Journal ] Sheila A. McIlraith Qualitative data modeling: application of a mechanism for interpreting graphical data. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1989, v:5, n:, pp:111-120 [Journal ] Srini Narayanan , Sheila A. McIlraith Analysis and simulation of Web services. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2003, v:42, n:5, pp:675-693 [Journal ] Joanna Bryson , David L. Martin , Sheila A. McIlraith , Lynn Andrea Stein Toward Behavioral Intelligence in the Semantic Web. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2002, v:35, n:11, pp:48-54 [Journal ] Tran Cao Son , Chitta Baral , Tran Hoai Nam , Sheila A. McIlraith Domain-Dependent Knowledge in Answer Set Planning [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Sheila A. McIlraith , David L. Martin Bringing Semantics to Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2003, v:18, n:1, pp:90-93 [Journal ] Sheila A. McIlraith , Tran Cao Son , Honglei Zeng Semantic Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2001, v:16, n:2, pp:46-53 [Journal ] Tran Cao Son , Chitta Baral , Nam Tran , Sheila A. McIlraith Domain-dependent knowledge in answer set planning. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2006, v:7, n:4, pp:613-657 [Journal ] Sheila A. McIlraith , Dimitris Plexousakis Preface. [Citation Graph (0, 0)][DBLP ] J. Web Sem., 2005, v:3, n:2-3, pp:77-78 [Journal ] Eric I. Hsu , Matthew Kitching , Fahiem Bacchus , Sheila A. McIlraith Using Expectation Maximization to Find Likely Assignments for Solving CSP's. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:224-230 [Conf ] Jorge A. Baier , Sheila A. McIlraith Planning with Temporally Extended Goals Using Heuristic Search. [Citation Graph (0, 0)][DBLP ] ICAPS, 2006, pp:342-345 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] World Wide Web, 2007, pp:243-277 [Conf ] Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. [Citation Graph (, )][DBLP ] Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. [Citation Graph (, )][DBLP ] Monitoring Plan Optimality During Execution. [Citation Graph (, )][DBLP ] Computing Robust Plans in Continuous Domains. [Citation Graph (, )][DBLP ] Exploiting N-Gram Analysis to Predict Operator Sequences. [Citation Graph (, )][DBLP ] Web Service Composition via the Customization of Golog Programs with User Preferences. [Citation Graph (, )][DBLP ] Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. [Citation Graph (, )][DBLP ] A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. [Citation Graph (, )][DBLP ] HTN Planning with Preferences. [Citation Graph (, )][DBLP ] An automated approach to monitoring and diagnosing requirements. [Citation Graph (, )][DBLP ] Towards Augmenting Requirements Models with Preferences. [Citation Graph (, )][DBLP ] ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. [Citation Graph (, )][DBLP ] Peer-to-Peer Query Answering with Inconsistent Knowledge. [Citation Graph (, )][DBLP ] Diagnosis as Planning Revisited. [Citation Graph (, )][DBLP ] VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. [Citation Graph (, )][DBLP ] Optimizing Web Service Composition While Enforcing Regulations. [Citation Graph (, )][DBLP ] A heuristic search approach to planning with temporally extended preferences. [Citation Graph (, )][DBLP ] Monitoring and diagnosing software requirements. [Citation Graph (, )][DBLP ] On Planning with Preferences in HTN [Citation Graph (, )][DBLP ] A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.009secs