Robert Schrag Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2003
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto J. Bayardo Jr., Robert Schrag: Using CSP Look-Back Techniques to Solve Real-World SAT Instances. AAAI/IAAI 1997: 203-208
1996
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Schrag: Compilation for Critically Constrained Knowledge Bases. AAAI/IAAI, Vol. 1 1996: 510-515
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto J. Bayardo Jr., Robert Schrag: Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. CP 1996: 46-60
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Schrag, James M. Crawford: Implicates and Prime Implicates in Random 3-SAT. Artif. Intell. 81(1-2): 199-222 (1996)
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Schrag, Mark Boday, Jim Carciofini: Managing Disjunction for Practical Temporal Reasoning. KR 1992: 36-46

Coauthor Index

1Kim Barker [9]
2Roberto J. Bayardo (Roberto J. Bayardo Jr.) [3] [5]
3Jim Blythe (James Blythe) [8] [9]
4Mark Boday [1]
5Gary C. Borchardt [9]
6Murray Burke [6]
7Jim Carciofini [1]
8Hans Chalupsky [8]
9Vinay K. Chaudhri [7] [9]
10Peter Clark [9]
11Paul R. Cohen [6] [7] [9]
12James M. Crawford [2]
13Julie Fitzgerald [8] [9]
14Kenneth D. Forbus [9]
15Yolanda Gil [9]
16David Gunning [6]
17Eric K. Jones [6]
18Boris Katz [9]
19Jihie Kim [8] [9]
20Gary W. King [9]
21Albert Lin [6]
22Mala Mehrotra [8]
23Pierluigi Miraglia [8]
24Sunil Mishra [9]
25Clayton T. Morrison [9]
26Kenneth S. Murray [8] [9]
27Charley Otstott [9]
28Adam Pease [6] [7]
29Mike Pool [8]
30Bruce W. Porter [9]
31Thomas A. Russ [8]
32David Schneider [8]
33Barbara Starr [6]
34Tomás E. Uribe [9]
35Jeffrey M. Usher [9]
36Peter Z. Yeh [9]

Colors in the list of coauthors

Copyright © Tue Nov 24 16:13:34 2009 by Michael Ley (ley@uni-trier.de)