Paolo Traverso

zbMath Opentraverso.paoloWikidataQ60788254 ScholiaQ60788254MaRDI QIDQ1380426

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!

Publication	Date of Publication	Type
A metatheory of a mechanized object theory Artificial Intelligence	2022-09-27	Paper
Deliberative acting, planning and learning with hierarchical operational models Artificial Intelligence	2021-11-02	Paper
The problem of planning with three sources of uncertainty	2011-01-03	Paper
Task decomposition on abstract states, for planning under nondeterminism Artificial Intelligence	2009-08-31	Paper
Strong planning under partial observability Artificial Intelligence	2007-10-23	Paper
Weak, strong, and strong cyclic planning via symbolic model checking Artificial Intelligence	2006-02-07	Paper
scientific article; zbMATH DE number 2201583 (Why is no real title available?)	2005-09-02	Paper
scientific article; zbMATH DE number 1943790 (Why is no real title available?)	2003-07-01	Paper
A dynamic logic for acting, sensing, and planning Journal Of Logic And Computation	2001-01-29	Paper
Theorem proving in technology transfer: The user's point of view International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
Mechanized result verification: An industrial application International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
Program tactics and logic tactics Annals of Mathematics and Artificial Intelligence	1998-07-19	Paper
Computational reflection via mechanized logical deduction	1997-01-13	Paper
A multicontext architecture for formalizing complex reasoning International Journal of Intelligent Systems	1995-11-20	Paper
scientific article; zbMATH DE number 622668 (Why is no real title available?)	1995-03-23	Paper
scientific article; zbMATH DE number 67450 (Why is no real title available?)	1992-09-27	Paper

Research outcomes over time

This page was built for person: Paolo Traverso