| 2003 |
|---|
| 9 | | Kim Barker,
Jim Blythe,
Gary C. Borchardt,
Vinay K. Chaudhri,
Peter Clark,
Paul R. Cohen,
Julie Fitzgerald,
Kenneth D. Forbus,
Yolanda Gil,
Boris Katz,
Jihie Kim,
Gary W. King,
Sunil Mishra,
Clayton T. Morrison,
Kenneth S. Murray,
Charley Otstott,
Bruce W. Porter,
Robert Schrag,
Tomás E. Uribe,
Jeffrey M. Usher,
Peter Z. Yeh:
A Knowledge Acquisition Tool for Course of Action Analysis.
IAAI 2003: 43-50 |
| 8 | EE | Mike Pool,
Kenneth S. Murray,
Julie Fitzgerald,
Mala Mehrotra,
Robert Schrag,
Jim Blythe,
Jihie Kim,
Hans Chalupsky,
Pierluigi Miraglia,
Thomas A. Russ,
David Schneider:
Evaluating expert-authored rules for military reasoning.
K-CAP 2003: 96-104 |
| 1999 |
|---|
| 7 | | Paul R. Cohen,
Vinay K. Chaudhri,
Adam Pease,
Robert Schrag:
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems?
AAAI/IAAI 1999: 221-226 |
| 1998 |
|---|
| 6 | | Paul R. Cohen,
Robert Schrag,
Eric K. Jones,
Adam Pease,
Albert Lin,
Barbara Starr,
David Gunning,
Murray Burke:
The DARPA High-Performance Knowledge Bases Project.
AI Magazine 19(4): 25-49 (1998) |
| 1997 |
|---|
| 5 | | Roberto J. Bayardo Jr.,
Robert Schrag:
Using CSP Look-Back Techniques to Solve Real-World SAT Instances.
AAAI/IAAI 1997: 203-208 |
| 1996 |
|---|
| 4 | | Robert Schrag:
Compilation for Critically Constrained Knowledge Bases.
AAAI/IAAI, Vol. 1 1996: 510-515 |
| 3 | | Roberto J. Bayardo Jr.,
Robert Schrag:
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances.
CP 1996: 46-60 |
| 2 | EE | Robert Schrag,
James M. Crawford:
Implicates and Prime Implicates in Random 3-SAT.
Artif. Intell. 81(1-2): 199-222 (1996) |
| 1992 |
|---|
| 1 | | Robert Schrag,
Mark Boday,
Jim Carciofini:
Managing Disjunction for Practical Temporal Reasoning.
KR 1992: 36-46 |
