M. L. Ginsberg

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Satsisfiability and systematicity Journal of Artificial Intelligence Research	2015-08-25	Paper
scientific article; zbMATH DE number 5996844 (Why is no real title available?)	2012-01-12	Paper
scientific article; zbMATH DE number 2243377 (Why is no real title available?) (available as arXiv preprint)	2006-01-04	Paper
scientific article; zbMATH DE number 2243388 (Why is no real title available?) (available as arXiv preprint)	2006-01-04	Paper
scientific article; zbMATH DE number 2243352 (Why is no real title available?) (available as arXiv preprint)	2006-01-04	Paper
Approximate planning Artificial Intelligence	2003-02-04	Paper
scientific article; zbMATH DE number 1944388 (Why is no real title available?)	2002-01-01	Paper
GIB: Imperfect information in a computationally challenging game The Journal of Artificial Intelligence Research (JAIR)	2001-07-31	Paper
scientific article; zbMATH DE number 1149402 (Why is no real title available?)	1998-05-10	Paper
scientific article; zbMATH DE number 140391 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 140390 (Why is no real title available?)	1993-03-28	Paper
Negative subgoals with free variables The Journal of Logic Programming	1992-06-28	Paper
Bilattices and Modal Operators Journal Of Logic And Computation	1992-06-25	Paper
A circumscriptive theorem prover Artificial Intelligence	1989-01-01	Paper
scientific article; zbMATH DE number 4164169 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4106292 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4174343 (Why is no real title available?)	1989-01-01	Paper
Reasoning about action. I: A possible worlds approach Artificial Intelligence	1988-01-01	Paper
Reasoning about action. II: The qualification problem Artificial Intelligence	1988-01-01	Paper
Controlling recursive inference Artificial Intelligence	1986-01-01	Paper
Counterfactuals Artificial Intelligence	1986-01-01	Paper
Scattering Theory and the Geometry of Multi-Twistor Spaces Transactions of the American Mathematical Society	1983-01-01	Paper
Green's Functions Coupled to Self-Dual Maxwell Fields Proceedings of the American Mathematical Society	1983-01-01	Paper
Duality in twistor theory Duke Mathematical Journal	1981-01-01	Paper

Research outcomes over time

This page was built for person: M. L. Ginsberg