|
Search the dblp DataBase
Robert Schrag:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roberto J. Bayardo Jr., Robert Schrag
Using CSP Look-Back Techniques to Solve Real-World SAT Instances. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1997, pp:203-208 [Conf]
- Paul R. Cohen, Vinay K. Chaudhri, Adam Pease, Robert Schrag
Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1999, pp:221-226 [Conf]
- Robert Schrag
Compilation for Critically Constrained Knowledge Bases. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, Vol. 1, 1996, pp:510-515 [Conf]
- Roberto J. Bayardo Jr., Robert Schrag
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. [Citation Graph (0, 0)][DBLP] CP, 1996, pp:46-60 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IAAI, 2003, pp:43-50 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] K-CAP, 2003, pp:96-104 [Conf]
- Robert Schrag, Mark Boday, Jim Carciofini
Managing Disjunction for Practical Temporal Reasoning. [Citation Graph (0, 0)][DBLP] KR, 1992, pp:36-46 [Conf]
- Robert Schrag, James M. Crawford
Implicates and Prime Implicates in Random 3-SAT. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1996, v:81, n:1-2, pp:199-222 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] AI Magazine, 1998, v:19, n:4, pp:25-49 [Journal]
The DARPA Machine Reading Program - Encouraging Linguistic and Reasoning Research with a Series of Reading Tasks. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|