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 |