S
Sheila Mcllraith
Researcher at Stanford University
Publications - 3
Citations - 121
Sheila Mcllraith is an academic researcher from Stanford University. The author has contributed to research in topics: Web modeling & Resolution (logic). The author has an hindex of 2, co-authored 3 publications receiving 121 citations.
Papers
More filters
Proceedings Article
Mobilizing the semantic web with DAML-enabled web services
TL;DR: This paper proposes markup of Web services in the DAML family of semantic Web markup languages, and presents one logic-based agent technology for service composition, predicated on the use of reusable, task-specific, high-level generic procedures and user-specific customizing constraints.
Journal ArticleDOI
Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report)
Eyal Amir,Sheila Mcllraith +1 more
TL;DR: In this article, a polynomial-time algorithm was proposed to find the most constrained subproblem of a prepositional SAT problem in polynomially time, and this algorithm was used iteratively to decompose a SAT problem into partitions.
Journal ArticleDOI
Theorem Proving with Structured Theories (Preliminary Report)
Sheila Mcllraith,Eyal Amir +1 more
TL;DR: An algorithm is provided that restricts the interaction between subtheories by exploiting the polarity of literals and an algorithm that compiles each subtheory into one in a reduced sublanguage is proposed.