GIB: Imperfect Information in a Computationally Challenging Game von Ginsberg, M. L.

Volltext

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work von Dixon, H. E., Ginsberg, M. L., Parkes, A. J.

Volltext

Non-Monotonic Reasoning: 2nd International Workshop Grassau, FRG, June 13–15, 1988 Proceedings von Reinfrank, M, Kleer, J. de, Ginsberg, M. L, Sandewall, E

Volltext

Generalizing Boolean Satisfiability II: Theory von Dixon, H. E., Ginsberg, M. L., Luks, E. M., Parkes, A. J.

Volltext

Generalizing Boolean Satisfiability III: Implementation von Dixon, H. E., Ginsberg, M. L., Hofer, D., Luks, E. M., Parkes, A. J.

Volltext

Dynamic Backtracking von Ginsberg, M. L.

Volltext

Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs von Ginsberg, M L

Volltext

A circumscriptive theorem prover von Ginsberg, Matthew L.

Volltext

Specificity in DNA recognition by phage integrases von Campbell, Allan, del-Campillo-Campbell, Alice, Ginsberg, Michael L

Volltext

Counterfactuals von Ginsberg, Matthew L.

Volltext

GIB: Imperfect Information in a Computationally Challenging Game von Ginsberg, M L

Volltext

Approximate planning von Ginsberg, Matthew L.

Volltext

General theory of cumulative inference von Makinson, David

Volltext

Reasoning about action 1: a possible worlds approach von GINSBERG, M. L, SMITH, D. E

Volltext

Iterative broadening von Ginsberg, Matthew L., Harvey, William D.

Volltext

Knowledge Interchange Format: The kif of Death von Ginsberg, Matthew L.

Volltext

Epistemological and heuristic adequacy revisited von GINSBERG, M. L

Volltext

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work von Dixon, H E, Ginsberg, M L, Parkes, A J

Volltext

Generalizing Boolean Satisfiability II: Theory von Dixon, H E, Ginsberg, M L, Luks, E M, Parkes, A J

Volltext

Generalizing Boolean Satisfiability III: Implementation von Dixon, H E, Ginsberg, M L, Hofer, D, Luks, E M, Parkes, A J

Volltext