Fiora Pirri

MaRDI QIDQ543603zbMATH OpenDBLPORCIDWikidataFDO

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
Inference about actions: Levesque's view on action-ability and Dirichlet processes	2016-07-26	Paper
The well-designed logical robot: learning and experience from observations to the Situation Calculus Artificial Intelligence	2011-06-17	Paper
Some contributions to the metatheory of the situation calculus Journal of the ACM	2005-01-25	Paper
Definability and commonsense reasoning Artificial Intelligence	2003-08-28	Paper
Algorithms for selective enumeration of prime implicants Artificial Intelligence	2002-07-24	Paper
Planning with natural actions in the situation calculus	2001-08-30	Paper
scientific article; zbMATH DE number 1390346 (Why is no real title available?)	2000-04-03	Paper
Introduction to the special issue on combining logics I Studia Logica	1997-10-26	Paper
Intuitionistic autoepistemic logic Studia Logica	1997-10-26	Paper
scientific article; zbMATH DE number 935033 (Why is no real title available?)	1997-04-13	Paper
A proof theoretical approach to default reasoning I: tableaux for default logic Journal Of Logic And Computation	1997-04-07	Paper
scientific article; zbMATH DE number 877745 (Why is no real title available?)	1996-07-08	Paper
scientific article; zbMATH DE number 877749 (Why is no real title available?)	1996-05-12	Paper
scientific article; zbMATH DE number 834571 (Why is no real title available?)	1996-02-13	Paper
Defaults as restrictions on classical Hilbert-style proofs Journal of Logic, Language and Information	1995-12-13	Paper
First order abduction via tableau and sequent calculi Logic Journal of the IGPL	1994-06-22	Paper
A uniform tableau method for intuitionistic modal logics. I Studia Logica	1994-03-22	Paper

Research outcomes over time

This page was built for person: Fiora Pirri