The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sheila A. McIlraith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Sheila A. McIlraith
    Representing Actions and State Constraints in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:43-49 [Conf]
  3. 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]
  4. 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]
  5. Eric Hsu, Sheila A. McIlraith
    Mechanism Design for Preference Aggregation over Coalitions. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:852- [Conf]
  6. Honglei Zeng, Sheila A. McIlraith
    The Role of Redundant Clauses in Solving Satisfiability Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:873- [Conf]
  7. Sheila A. McIlraith
    Modeling and Programming Devices and Web Agents. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:63-77 [Conf]
  8. Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta
    Hybrid Systems Diagnosis. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:282-295 [Conf]
  9. 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]
  10. Sheila A. McIlraith, Eyal Amir
    Theorem Proving with Structured Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:624-634 [Conf]
  11. 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]
  12. Eyal Amir, Sheila A. McIlraith
    Partition-Based Logical Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:389-400 [Conf]
  13. Jorge A. Baier, Sheila A. McIlraith
    On Planning with Programs that Sense. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:492-502 [Conf]
  14. 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]
  15. Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith
    Planning with Qualitative Temporal Preferences. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:134-144 [Conf]
  16. Christian Fritz, Sheila A. McIlraith
    Decision-Theoretic GOLOG with Qualitative Preferences. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:153-163 [Conf]
  17. Sheila A. McIlraith
    Explanatory Diagnosis: Conjecturing Actions to Explain Observations. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:167-179 [Conf]
  18. Sheila A. McIlraith
    Generating Tests Using Abduction. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:449-460 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. Sheila A. McIlraith, Ronald Fadel
    Planning with complex actions. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:356-364 [Conf]
  23. Sheila A. McIlraith
    Invited talk: towards declarative programming for web services. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:1-2 [Conf]
  24. Sheila A. McIlraith
    Invited talk: towards declarative programming for web services. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:3-4 [Conf]
  25. 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]
  26. Sheila A. McIlraith
    Towards Declarative Programming for Web Services. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:21- [Conf]
  27. Eric I. Hsu, Sheila A. McIlraith
    Characterizing Propagation Methods for Boolean Satisfiability. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:325-338 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. Srini Narayanan, Sheila A. McIlraith
    Simulation, verification and automated composition of web services. [Citation Graph (0, 0)][DBLP]
    WWW, 2002, pp:77-88 [Conf]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. Sheila A. McIlraith, Dimitris Plexousakis
    Preface. [Citation Graph (0, 0)][DBLP]
    J. Web Sem., 2005, v:3, n:2-3, pp:77-78 [Journal]
  52. 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]
  53. 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]
  54. 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]

  55. Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. [Citation Graph (, )][DBLP]


  56. Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. [Citation Graph (, )][DBLP]


  57. Monitoring Plan Optimality During Execution. [Citation Graph (, )][DBLP]


  58. Computing Robust Plans in Continuous Domains. [Citation Graph (, )][DBLP]


  59. Exploiting N-Gram Analysis to Predict Operator Sequences. [Citation Graph (, )][DBLP]


  60. Web Service Composition via the Customization of Golog Programs with User Preferences. [Citation Graph (, )][DBLP]


  61. Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. [Citation Graph (, )][DBLP]


  62. A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. [Citation Graph (, )][DBLP]


  63. HTN Planning with Preferences. [Citation Graph (, )][DBLP]


  64. An automated approach to monitoring and diagnosing requirements. [Citation Graph (, )][DBLP]


  65. Towards Augmenting Requirements Models with Preferences. [Citation Graph (, )][DBLP]


  66. ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. [Citation Graph (, )][DBLP]


  67. Peer-to-Peer Query Answering with Inconsistent Knowledge. [Citation Graph (, )][DBLP]


  68. Diagnosis as Planning Revisited. [Citation Graph (, )][DBLP]


  69. VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. [Citation Graph (, )][DBLP]


  70. Optimizing Web Service Composition While Enforcing Regulations. [Citation Graph (, )][DBLP]


  71. A heuristic search approach to planning with temporally extended preferences. [Citation Graph (, )][DBLP]


  72. Monitoring and diagnosing software requirements. [Citation Graph (, )][DBLP]


  73. On Planning with Preferences in HTN [Citation Graph (, )][DBLP]


  74. A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. [Citation Graph (, )][DBLP]


Search in 0.097secs, Finished in 0.103secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002