Lenhart K. Schubert

Available identifiers

Publication	Date of Publication	Type
Monotonic inference with unscoped episodic logical forms: from principles to system	2024-05-14	Paper
Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I	2020-06-11	Paper
Efficient algorithms for qualitative reasoning about time	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4552503	2002-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4552505	2002-11-25	Paper
The situations we talk about	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4518427	2000-11-28	Paper
A computational model of belief	2000-08-21	Paper
The TRAINS project: a case study in building a conversational planning agent	2000-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4934656	2000-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q4342071	1997-07-08	Paper
On point-based temporal disjointness	1995-01-11	Paper
Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change	1994-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q3493320	1989-01-01	Paper
Iterated Limiting Recursion and the Program Minimization Problem	1974-01-01	Paper
Representative samples of programmable functions	1974-01-01	Paper
Numerical Study of Sound Refraction by a Jet Flow. I. Ray Acoustics	1972-01-01	Paper
Modification of a Quasi-Newton Method for Nonlinear Equations with a Sparse Jacobian	1970-01-01	Paper

This page was built for person: Lenhart K. Schubert