| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos |
Representing and reasoning about preferences in requirements engineering.  |
Requir. Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith |
Specifying and computing preferred plans. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leora Morgenstern, Sheila A. McIlraith |
John McCarthy's legacy. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck |
Monitoring the Execution of Partial-Order Plans via Regression. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
Preferred Explanations: Theory and Generation via Planning. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Eric I. Hsu, Sheila A. McIlraith |
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. |
SOCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos |
Integrating Preferences into Goal Models for Requirements Engineering. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
Diagnosis as Planning Revisited. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Shirin Sohrabi, Sheila A. McIlraith |
Preference-Based Web Service Composition: A Middle Ground between Execution and Search. |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu |
Fast d-DNNF Compilation with sharpSAT. |
Abstraction, Reformulation, and Approximation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos |
Monitoring and diagnosing software requirements. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Diagnostics, Requirement monitoring |
| 1 | Shirin Sohrabi, Sheila A. McIlraith |
On Planning with Preferences in HTN |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
A heuristic search approach to planning with temporally extended preferences. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
HTN Planning with Preferences. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos |
Towards Augmenting Requirements Models with Preferences. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
requirements engineering, variability, preferences |
| 1 | Christian Fritz, Sheila A. McIlraith |
Computing Robust Plans in Continuous Domains. |
ICAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer |
Exploiting N-Gram Analysis to Predict Operator Sequences. |
ICAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Eric I. Hsu, Sheila A. McIlraith |
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
Survey Propagation/EMBP, Variable/Value Ordering Heuristics, Probabilistic Inference |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Fritz, Sheila A. McIlraith |
Generating Optimal Plans in Highly-Dynamic Domains. |
UAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Shirin Sohrabi, Sheila A. McIlraith |
Optimizing Web Service Composition While Enforcing Regulations. |
International Semantic Web Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Baier, Sheila A. McIlraith |
Planning with Preferences. |
AI Magazine |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Fritz, Jorge A. Baier, Sheila A. McIlraith |
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arnold Binas, Sheila A. McIlraith |
Peer-to-Peer Query Answering with Inconsistent Knowledge. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith |
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher |
Preface. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
A Heuristic Search Approach to Planning with Temporally Extended Preferences. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos |
An automated approach to monitoring and diagnosing requirements. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
diagnostics, requirements monitoring |
| 1 | Jorge A. Baier, Christian Fritz, Sheila A. McIlraith |
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian Fritz, Sheila A. McIlraith |
Monitoring Plan Optimality During Execution. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
Web Services, Semantic Web, service composition, service discovery, OWL, Semantic Web Services, OWL-S |
| 1 | Jorge A. Baier, Sheila A. McIlraith |
On Domain-Independent Heuristics for Planning with Qualitative Preferences. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith |
Using Expectation Maximization to Find Likely Assignments for Solving CSP's. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith |
Domain-dependent knowledge in answer set planning. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
answer set planning, control knowledge, planning, Reasoning about actions, procedural knowledge |
| 1 | Jorge A. Baier, Sheila A. McIlraith |
Planning with Temporally Extended Goals Using Heuristic Search. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Eric I. Hsu, Sheila A. McIlraith |
Characterizing Propagation Methods for Boolean Satisfiability. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Honglei Zeng, Sheila A. McIlraith |
Experimental Results on the Satisfiable Core in Random 3SAT. |
ISAIM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith |
Planning with Qualitative Temporal Preferences. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Scott Sanner, Sheila A. McIlraith |
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Fritz, Sheila A. McIlraith |
Decision-Theoretic GOLOG with Qualitative Preferences. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Baier, Sheila A. McIlraith |
On Planning with Programs that Sense. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith |
Web Service Composition Via Generic Procedures and Customizing User Preferences. |
International Semantic Web Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Baier, Sheila A. McIlraith |
Planning with First-Order Temporally Extended Goals using Heuristic Search. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Dimitris Plexousakis |
Preface. |
J. Web Sem. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eyal Amir, Sheila A. McIlraith |
Partition-based logical reasoning for first-order and propositional theories. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith |
Towards a practical theory of reformulation for reasoning about physical systems. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric I. Hsu, Sheila A. McIlraith |
Mechanism Design for Preference Aggregation over Coalitions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Honglei Zeng, Sheila A. McIlraith |
The Role of Redundant Clauses in Solving Satisfiability Problems. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Invited talk: towards declarative programming for web services. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
ontologies, web services, semantic web, OWL, web service composition, automated reasoning |
| 1 | Sheila A. McIlraith |
Invited talk: towards declarative programming for web services. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
ontologies, web services, semantic web, OWL, web service composition, automated reasoning |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen (eds.) |
The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings |
International Semantic Web Conference |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Towards Declarative Programming for Web Services. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Srini Narayanan, Sheila A. McIlraith |
Analysis and simulation of Web services. |
Computer Networks |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, David L. Martin |
Bringing Semantics to Web Services. |
IEEE Intelligent Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe |
Practical Partition-Based Theorem Proving for Large Knowledge Bases. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Daniel J. Mandell, Sheila A. McIlraith |
Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. |
WWW (Posters) |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Bryson, David L. Martin, Sheila A. McIlraith, Lynn Andrea Stein |
Toward Behavioral Intelligence in the Semantic Web. |
IEEE Computer |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith |
Domain-Dependent Knowledge in Answer Set Planning |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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. |
AI Magazine |
2002 |
DBLP BibTeX RDF |
|
| 1 | Srini Narayanan, Sheila A. McIlraith |
Simulation, verification and automated composition of web services. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
ontologies, web services, distributed systems, semantic web, web service composition, automated reasoning, DAML |
| 1 | Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang (eds.) |
Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers |
WES |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Tran Cao Son |
Adapting Golog for Composition of Semantic Web Services. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Uri Lerner, Brooks Moses, Scott Maricia, Sheila A. McIlraith, Daphne Koller |
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. |
UAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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. |
International Semantic Web Conference |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Ronald Fadel |
Planning with complex actions. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Tran Cao Son, Honglei Zeng |
Semantic Web Services. |
IEEE Intelligent Systems |
2001 |
DBLP DOI BibTeX RDF |
Web services, semantic Web, agents, artificial intelligence, service composition, markup language, DAML |
| 1 | Sheila A. McIlraith, Eyal Amir |
Theorem Proving with Structured Theories. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. |
The Emerging Semantic Web |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. |
SWWS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Tran Cao Son, Honglei Zeng |
Mobilizing the Semantic Web with DAML-enabled Web Services. |
SemWeb |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
AI Magazine |
2000 |
DBLP BibTeX RDF |
|
| 1 | Eyal Amir, Sheila A. McIlraith |
Improving the Efficiency of Reasoning Through Structure-Based Reformulation. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Modeling and Programming Devices and Web Agents. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Sheila A. McIlraith, Tran Cao Son |
Formulating diagnostic problem solving using an action language with narratives and sensing. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Eyal Amir, Sheila A. McIlraith |
Partition-Based Logical Reasoning. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta |
Hybrid Systems Diagnosis. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Richard B. Scherl |
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Explanatory Diagnosis: Conjecturing Actions to Explain Observations. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Representing Actions and State Constraints in Model-Based Diagnosis. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Further Contributions to Characterizing Diagnosis. |
Ann. Math. Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Generating Tests Using Abduction. |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Sheila A. McIlraith |
Qualitative data modeling: application of a mechanism for interpreting graphical data. |
Computational Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")