Person:1380426

Available identifiers

zbMath Open traverso.paoloWikidataQ60788254 ScholiaQ60788254MaRDI QIDQ1380426

List of research outcomes

Publication	Date of Publication	Type
A metatheory of a mechanized object theory	2022-09-27	Paper
Deliberative acting, planning and learning with hierarchical operational models	2021-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q3062007	2011-01-03	Paper
Task decomposition on abstract states, for planning under nondeterminism	2009-08-31	Paper
Strong planning under partial observability	2007-10-23	Paper
Weak, strong, and strong cyclic planning via symbolic model checking	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5313998	2005-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4409826	2003-07-01	Paper
A dynamic logic for acting, sensing, and planning	2001-01-29	Paper
Theorem proving in technology transfer: The user's point of view	2000-01-01	Paper
Mechanized result verification: An industrial application	2000-01-01	Paper
Program tactics and logic tactics	1998-07-19	Paper
Computational reflection via mechanized logical deduction	1997-01-13	Paper
A multicontext architecture for formalizing complex reasoning	1995-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4303116	1995-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4012173	1992-09-27	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: Paolo Traverso