scispace - formally typeset
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)

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)

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.