Lenhart K. Schubert

From MaRDI portal
(Redirected from Lenhart K. Schubert)



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!

PublicationDate of PublicationType
Monotonic inference with unscoped episodic logical forms: from principles to system
Journal of Logic, Language and Information
2024-05-14Paper
Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I
Annals of Mathematics and Artificial Intelligence
2020-06-11Paper
Efficient algorithms for qualitative reasoning about time
Artificial Intelligence
2003-02-04Paper
scientific article; zbMATH DE number 1794698 (Why is no real title available?)2002-12-11Paper
scientific article; zbMATH DE number 1794700 (Why is no real title available?)2002-11-25Paper
The situations we talk about2001-08-30Paper
scientific article; zbMATH DE number 1536559 (Why is no real title available?)2000-11-28Paper
A computational model of belief
Artificial Intelligence
2000-08-21Paper
The TRAINS project: a case study in building a conversational planning agent
Journal of Experimental & Theoretical Artificial Intelligence
2000-07-06Paper
scientific article; zbMATH DE number 1390364 (Why is no real title available?)2000-04-03Paper
scientific article; zbMATH DE number 1028809 (Why is no real title available?)1997-07-08Paper
On point-based temporal disjointness
Artificial Intelligence
1995-01-11Paper
Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
Journal Of Logic And Computation
1994-12-07Paper
scientific article; zbMATH DE number 4166933 (Why is no real title available?)1989-01-01Paper
Representative samples of programmable functions
Information and Control
1974-01-01Paper
Iterated Limiting Recursion and the Program Minimization Problem
Journal of the ACM
1974-01-01Paper
Numerical Study of Sound Refraction by a Jet Flow. I. Ray Acoustics
The Journal of the Acoustical Society of America
1972-01-01Paper
Modification of a Quasi-Newton Method for Nonlinear Equations with a Sparse Jacobian1970-01-01Paper


Research outcomes over time


This page was built for person: Lenhart K. Schubert