Andrew B. Baker

Publication Activity (10 Years)

Years Active: 1989-1994
Publications (10 Years): 0

Publications

James M. Crawford, Andrew B. Baker
Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems. AAAI (1994)
Andrew B. Baker
The Hazards of Fancy Backtracking. AAAI (1994)
Andrew B. Baker
Nonmonotonic Reasoning in the Framework of Situation Calculus. Artif. Intell. 49 (1-3) (1991)
Andrew B. Baker
A Simple Solution to the Yale Shooting Problem. KR (1989)
Andrew B. Baker, Matthew L. Ginsberg
A Theorem Prover for Prioritized Circumscription. IJCAI (1989)
Andrew B. Baker, Matthew L. Ginsberg
Temporal Projection and Explanation. IJCAI (1989)