 | 1994 |
|---|
| 6 |       | James M. Crawford,
Andrew B. Baker:
Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems.
AAAI 1994: 1092-1097 |
| 5 | | Andrew B. Baker:
The Hazards of Fancy Backtracking.
AAAI 1994: 288-293 |
| 1991 |
|---|
| 4 | | Andrew B. Baker:
Nonmonotonic Reasoning in the Framework of Situation Calculus.
Artif. Intell. 49(1-3): 5-23 (1991) |
| 1989 |
|---|
| 3 | | Andrew B. Baker,
Matthew L. Ginsberg:
A Theorem Prover for Prioritized Circumscription.
IJCAI 1989: 463-467 |
| 2 | | Andrew B. Baker,
Matthew L. Ginsberg:
Temporal Projection and Explanation.
IJCAI 1989: 906-911 |
| 1 | | Andrew B. Baker:
A Simple Solution to the Yale Shooting Problem.
KR 1989: 11-20 |
