Searching for authors named Robert Schrag – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

The Quantity Lattice for Engineering Design
by Robert Schrag — 1994 — In Working Notes of the Design from Physical Principles Symposium
…The Quantity Lattice for Engineering Design Robert Schrag Department of Computer Sciences…
Cited by 1 (1 self) – Add To MetaCart

Compilation for Critically Constrained Knowledge Bases
by Robert Schrag — 1996 — In Proc. of the 13 th National Conference on Artificial Intelligence (AAAI’96
…Compilation for Critically Constrained Knowledge Bases Robert Schrag Department of Computer…
Cited by 14 (0 self) – Add To MetaCart

Abstraction and the CSP Phase Transition Boundary
by Robert Schrag, Daniel Miranker — 1995
…Abstraction and the CSP Phase Transition Boundary Robert Schrag and Daniel Miranker Department…
Cited by 1 (0 self) – Add To MetaCart

Using CSP Look-Back Techniques to Solve Real-World SAT Instances
by Roberto Bayardo Jr, Robert C. Schrag — 1997
…@(email omitted); http://www.cs.utexas.edu/users/bayardo Robert C. Schrag Information Extraction and Transport, Inc…
Cited by 32 (0 self) – Add To MetaCart

Does Prior Knowledge Facilitate the Development of Knowledge-based Systems?
by Paul Cohen, Vinay Chaudhri, Adam Pease, Robert Schrag — 1999 — In the Proceedings of AAAI-99
… Chaudhri, Adam Pease, Robert Schrag Cohen@(email omitted); chaudhri@(email omitted); apease@(email omitted); schrag…
Cited by 27 (0 self) – Add To MetaCart

Implicates and Prime Implicates in Random 3SAT
by Robert Schrag, James M. Crawford — 1995 — Artificial Intelligence
…Implicates and Prime Implicates in Random 3SAT Robert Schrag Department of Computer Sciences…
Cited by 18 (0 self) – Add To MetaCart

Managing Disjunction for Practical Temporal Reasoning
by Robert Schrag, Mark Boddy, Jim Carciofini — 1992 — In Proc. KR-92
…Managing Disjunction for Practical Temporal Reasoning Robert Schrag Mark Boddy Jim Carciofini…
Cited by 12 (2 self) – Add To MetaCart

Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances
by Roberto J. Bayardo, Robert Schrag — 1996 — Principles and Practice of Constraint Programming
… Introduction Robert Schrag schrag@(email omitted); http://www.cs.utexas.edu/users/schrag/ Given the usual…
Cited by 29 (1 self) – Add To MetaCart

Experimental evaluation of subject matter expert-oriented knowledge base authoring tools
by Robert Schrag, Mike Pool, Vinay Chaudhri, Robert C. Kahlert, Joshua Powers, Julie Fitzgerald, Sunil Mishra — 2002 — In Proc. NIST Performance Metrics for Intelligent Systems Workshop. 2002. http://www.iet.com/Projects/RKF/PerMIS02.doc
… Schrag 1 , Mike Pool 1 , Vinay Chaudhri 2 , Robert C. Kahlert 3 , Joshua Powers 1 , Paul Cohen 4 , Julie…
Cited by 6 (2 self) – Add To MetaCart

Managing Disjunction for Practical Temporal Reasoning
by Robert Schrag Mark, Mark Boddy, Jim Carciofini — 1992 — In Proc. KR-92
…Managing Disjunction for Practical Temporal Reasoning Robert Schrag Mark Boddy Jim Carciofini…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB