On Planning with Preferences in HTN (2009)
Sohrabi, Shirin, McIlraith, Sheila A.
In this paper, we address the problem of generating preferred plans by combining the procedural control knowledge specified by Hierarchical Task Networks (HTNs) with rich qualitative user...
Michael Grüninger, Richard Hull, Sheila A. Mcilraith
FLOWS is a first-order logic ontology for Web services and a W3C Submission. In this article, we describe some of the motivation behind the development of FLOWS, together with its key features.
The Semantic Web Bringing Semantics to Web Services (2008)
James Hendler, Sheila A. Mcilraith, David L. Martin, Sri International
Arevolution is underway in computing, and if you believe pundits such as Vint Cerf, “father of the Internet, ” it won’t be long before your bathroom scale surreptitiously transmits your weight...
DAML-S: Semantic Markup For Web Services The DAML Services Coalition: (2008)
Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. Mcilraith, ...
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monitor Web resources...
DAML-S: Semantic Markup For Web Services The DAML Services Coalition: (2008)
Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. Mcilraith, ...
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monitor Web resources...
DAML-S: Semantic Markup For Web Services The DAML Services Coalition: (2008)
Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. Mcilraith, ...
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monitor Web resources...
Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation (2008)
Daniel J. M, Sheila A. Mcilraith
Abstract. Towards the ultimate goal of seamless interaction among networked programs and devices, industry has developed orchestration and process modeling languages such as XLANG, WSFL, and recently...
Using Expectation Maximization to Find Likely Assignments for Solving CSP’s (2008)
Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. Mcilraith
We present a new probabilistic framework for finding likely variable assignments in difficult constraint satisfaction problems. Finding such assignments is key to efficient search, but practical...
Using Expectation Maximization to Find Likely Assignments for Solving CSP's (2008)
Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. Mcilraith
Joanna J. Bryson, David Martin, Sheila A. Mcilraith, Lynn Andrea Stein
Many researchers are working towards the goal of a semantic Web — a Web that is unambiguously computer interpretable, and thus very accessable to artificial intelligence. A semantic Web would allow...
DAML-S: Semantic Markup For Web Services The DAML Services Coalition: (2007)
Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. Mcilraith, ...
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monitor Web resources...
An automated approach to monitoring and diagnosing requirements (2007)
Wang, Yiqiao, McIlraith, Sheila A., Yu, Yijun, Mylopoulos, John
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Requirement Engineering...
Distributed Query Answering in Peer-to-peer Reasoning Systems (2007)
Arnold Binas, Sheila A. Mcilraith
Interest in distributed reasoning is gaining momentum due to the emergence of the Semantic Web. In this work, we address the problem of meaningfully answering queries to distributed propositional...
A heuristic search approach to planning with temporally extended preferences (2007)
Jorge A. Baier, Fahiem Bacchus, Sheila A. Mcilraith
In this paper we propose a suite of techniques for planning with temporally extended preferences (TEPs). To this end, we propose a method for compiling TEP planning problems into simpler domains...
Web Service Composition via Generic Procedures and Customizing User Preferences (2006)
Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. Mcilraith
Abstract. We claim that a key component of effective Web service composition, and one that has largely been ignored, is the consideration of user preferences. In this paper we propose a means of...
Elicitation and Application of Narrative Constraints Through Mixed- (2006)
Jorge Baier, Jeremy Hussell, Fahiem Bacchus, Sheila A. Mcilraith, Minh B. Do, J. Benton, ...
The planning community has traditionally been primarily concerned with the problem of generating a plan that satisfies a collection of goals. In many real-world planning problems, it is necessary to...
Characterizing propagation methods for boolean satisfiability (2006)
Eric I. Hsu, Sheila A. Mcilraith
Abstract. Iterative algorithms such as Belief Propagation and Survey Propagation can handle some of the largest randomly-generated satisfiability problems (SAT) created to this point. But they can...
Characterizing propagation methods for boolean satisfiability (2006)
Eric I. Hsu, Sheila A. Mcilraith
Abstract. Iterative algorithms such as Belief Propagation and Survey Propagation can handle some of the largest randomly-generated satisfiability problems (SAT) created to this point. But they can...
DAML-S: Semantic Markup ForWeb Services (2002)
Ankolekar, Anupriya, Burstein, Mark, Hobbs, Jerry, Lassila, Ora, Martin, David L., McIlraith, Sheila A., ...
The SemanticWeb should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monitor Web resources...
DAML-S: Web Service Description for the Semantic Web (2002)
Ankolekar, Anupriya, Burstein, Mark, Hobbs, Jerry R., Lassila, Ora, Martin, David L., McDermott, Drew, ...
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services -- Web-accessible programs and devices -- are garnering a great deal...
DAML-S: Web Service Description for the Semantic Web (2002)
Ankolekar, Anupriya, Burstein, Mark, Hobbs, Jerry R., Lassila, Ora, Martin, David L., McDermott, Drew, ...
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services -- Web-accessible programs and devices -- are garnering a great deal...
DAML-S: Web Service Description for the Semantic Web (2002)
Ankolekar, Anupriya, Burstein, Mark, Hobbs, Jerry R., Lassila, Ora, Martin, David L., McDermott, Drew, ...
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services -- Web-accessible programs and devices -- are garnering a great deal...
Joanna J. Bryson, David Martin, Sheila A. Mcilraith, Lynn Andrea Stein
Abstract. Many researchers are working towards the goal of a semantic Web — a Web that provides information in a way that is useful to artificial intelligences. A semantic Web would allow...
DAML-S: Web service description for the semantic web (2002)
Daml-s Coalition, Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, Drew Mcdermott, ...
Abstract. In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services – Web-accessible programs and devices – are garnering a...
DAML-S: Web service description for the semantic web (2002)
Daml-s Coalition, Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David Martin, ...
Abstract. In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services – Web-accessible programs and devices – are garnering a...
DAML-S: Web Service Description for the Semantic Web (2002)
Daml-s Coalition, Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David Martin, ...
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services { Web-accessible programs and devices { are garnering a great deal of...
AND THE COMMITTEE ON GRADUATE STUDIES (2002)
John Mccarthy, Michael R. Genesereth, Sheila A. Mcilraith, Leora Morgenstern
ii
Simulation, verification, automated composition of web services (2002)
Srini Narayanan, Sheila A. Mcilraith
Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the...
Sheila A. Mcilraith, Tran Cao Son, Honglei Zeng
in the DAML family of Semantic Web markup languages. This markup enables a wide variety of agent technologies for automated Web service discovery, execution, composition, and interoperation. The...
DAML-S: Semantic Markup For Web Services (2001)
The Daml Services, Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, ...
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monitor Web resources...
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems (2000)
Sheila A. Mcilraith, Richard Scherl
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we investigate...
Modeling and programming devices and Web agents (2000)
Abstract. This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling and...
Diagnosing Hybrid Systems: a Bayesian Model Selection Approach (2000)
In this paper we examine the problem of monitoring and diagnosing noisy complex dynamical systems that are modeled as hybrid systems -- models of continuous behavior, interleaved by discrete...
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems (2000)
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent’s state of knowledge. In this paper, we investigate “what sensing...
Logic-based abductive inference (1998)
This paper surveys the work on abductive inference within the field of artificial intelligence (AI), with particular attention to logic-based abduction. The paper commences with a formal description...
Explanatory diagnosis: conjecturing actions to explain observations (1998)
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We characterize what happened...
A Closed-Form Solution to the Ramification Problem (Sometimes) (1997)
Our general concern is with how to integrate a representation of action into an existing set of state constraints. As has been observed in the literature, state constraints implicitly define indirect...
Representing Actions and State Constraints in Model-Based Diagnosis (1997)
In this paper we examine an important set of representation issues which have not been addressed by the model-based diagnosis community. In particular, we examine the problem of integrating a...
Representing Actions and State Constraints in Model-Based Diagnosis (1997)
In this paper we examine an important set of representation issues which have not been addressed by the model-based diagnosis community. In particular, we examine the problem of integrating a...
Incorporating Action into Diagnostic Problem Solving (An Abridged Report) (1995)
Reasoning about action and change is integral to the diagnosis, testing and repair of many artifacts, and yet there is no formal account of diagnostic problem solving which incorporates a theory of...
Towards a Theory of Diagnosis, Testing and Repair (1994)
In this paper, we provide a situation calculus framework for diagnostic problem-solving in the context of a theory of action and change. Using this framework, we present results towards a...
Thesis (M.Math)--University of Waterloo, 1985.
Thesis (M. Math)--University of Waterloo, 1985.
Explanatory Diagnosis: Conjecturing Actions to Explain Observations
In this paper we present contributions towards a logical theory of diagnosis for systems that can be a ected by the actions of agents. Specifically, we examine the task of conjecturing diagnoses to...
Explanatory Diagnosis: Conjecturing Actions to Explain Observations
In this paper we present contributions towards a logical theory of diagnosis for systems that can be affected by the actions of agents. Specifically, we examine the task of conjecturing diagnoses to...