M. L. Ginsberg

Available identifiers

zbMath Open ginsberg.matthew-lMaRDI QIDQ1097713

List of research outcomes

Publication	Date of Publication	Type
Satsisfiability and systematicity	2015-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q3112651	2012-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5715690	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5715702	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5715661	2006-01-04	Paper
Approximate planning	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4407690	2002-01-01	Paper
GIB: Imperfect information in a computationally challenging game	2001-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4386920	1998-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4028798	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4028797	1993-03-28	Paper
Negative subgoals with free variables	1992-06-28	Paper
Bilattices and Modal Operators	1992-06-25	Paper
A circumscriptive theorem prover	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490987	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830546	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3198877	1989-01-01	Paper
Reasoning about action. I: A possible worlds approach	1988-01-01	Paper
Reasoning about action. II: The qualification problem	1988-01-01	Paper
Controlling recursive inference	1986-01-01	Paper
Counterfactuals	1986-01-01	Paper
Scattering Theory and the Geometry of Multi-Twistor Spaces	1983-01-01	Paper
Green's Functions Coupled to Self-Dual Maxwell Fields	1983-01-01	Paper
Duality in twistor theory	1981-01-01	Paper

Research outcomes over time

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