Benjamin J. Kuipers

Available identifiers

zbMath Open kuipers.benjamin-jMaRDI QIDQ1190524

List of research outcomes

Publication	Date of Publication	Type
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
Towards a general theory of topological maps	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4736592	2004-08-09	Paper
Proving properties of continuous systems: Qualitative simulation and temporal logic	2003-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4418857	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4794516	2003-02-19	Paper
Qualitative and quantitative simulation: bridging the gap	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4860469	1996-02-06	Paper
The composition and validation of heterogeneous control laws	1994-03-13	Paper
Higher-order derivative constraints in qualitative simulation	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3495343	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5750440	1989-01-01	Paper
Qualitative simulation	1986-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: Benjamin J. Kuipers