Paolo Traverso

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
Lifted action models learning from partial traces Artificial Intelligence	2025-03-05	Paper
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