Andrew B. Baker

According to our database, Andrew B. Baker authored at least 6 papers between 1989 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1994

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems.

James M. Crawford, Andrew B. Baker

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

The Hazards of Fancy Backtracking.

Andrew B. Baker

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1991

Nonmonotonic Reasoning in the Framework of Situation Calculus.

Andrew B. Baker

Artif. Intell., 1991

1989

A Simple Solution to the Yale Shooting Problem.

Andrew B. Baker

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Temporal Projection and Explanation.

Andrew B. Baker, Matthew L. Ginsberg

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

A Theorem Prover for Prioritized Circumscription.

Andrew B. Baker, Matthew L. Ginsberg

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989