Fiora Pirri

Available identifiers

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	2011-06-17	Paper
Some contributions to the metatheory of the situation calculus	2005-01-25	Paper
Definability and commonsense reasoning	2003-08-28	Paper
Algorithms for selective enumeration of prime implicants	2002-07-24	Paper
Planning with natural actions in the situation calculus	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4934637	2000-04-03	Paper
Introduction to the special issue on combining logics I	1997-10-26	Paper
Intuitionistic autoepistemic logic	1997-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4895421	1997-04-13	Paper
A proof theoretical approach to default reasoning I: tableaux for default logic	1997-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4877438	1996-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4877442	1996-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4860658	1996-02-13	Paper
Defaults as restrictions on classical Hilbert-style proofs	1995-12-13	Paper
First order abduction via tableau and sequent calculi	1994-06-22	Paper
A uniform tableau method for intuitionistic modal logics. I	1994-03-22	Paper

This page was built for person: Fiora Pirri