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

This page was built for person: Paolo Traverso