Matthew 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/Q5715661	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5715690	2006-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5715702	2006-01-04	Paper
Approximate planning	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4407690	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2726291	2001-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4386920	1998-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4028797	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4028798	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/Q3198877	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490987	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830546	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthew L. Ginsberg