Fiora Pirri Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Letizia Marchegiani, Fiora Pirri, Matia Pizzoli: Multimodal Speaker Recognition in a Conversation Scenario. ICVS 2009: 11-20
2008
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Marra, Fiora Pirri: Eyes and Cameras Calibration for 3D World Gaze Detection. ICVS 2008: 216-227
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Belardinelli, Fiora Pirri, Andrea Carbone: Motion Saliency Maps from Spatiotemporal Filtering. WAPCV 2008: 112-123
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Carbone, Alberto Finzi, Andrea Orlandini, Fiora Pirri: Model-based control architecture for attentive robots in rescue scenarios. Auton. Robots 24(1): 87-120 (2008)
2007
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Carbone, Daniele Ciacelli, Alberto Finzi, Fiora Pirri: Autonomous Attentive Exploration in Search and Rescue Scenarios. WAPCV 2007: 431-446
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Belardinelli, Fiora Pirri, Andrea Carbone: Bottom-Up Gaze Shifts and Fixations Learning by Imitation. IEEE Transactions on Systems, Man, and Cybernetics, Part B 37(2): 256-271 (2007)
2006
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri: About Implicit and Explicit Shape Representation. Reasoning, Action and Interaction in AI Theories and Systems 2006: 141-158
2005
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Finzi, Fiora Pirri: Representing Flexible Temporal Behaviors in the Situation Calculus. IJCAI 2005: 436-441
2004
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri: Indoor Environment Classification and Perceptual Matching. KR 2004: 73-84
2003
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Cialdea Mayer, Fiora Pirri: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings Springer 2003
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Massimo Romano: 2D Qualitative Recognition of SymGeon Aspects. KES 2003: 1187-1194
2002
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Cialente, Alberto Finzi, I. Mentuccia, Fiora Pirri, Marco Pirrone, Massimo Romano, Francesco Savelli: The Mr.ArmHandOne Project: A Mazes Roamer Robot. AAAI Mobile Robot Competition 2002: 56-64
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Finzi, Fiora Pirri: Explanatory diagnosing and meaningful perception. NMR 2002: 124-134
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Geoffrey E. Hinton, Hector J. Levesque: In Memory of Ray Reiter (1939-2002). AI Magazine 23(4): 93 (2002)
2001
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Finzi, Fiora Pirri, Marco Pirrone, Massimo Romano, Milko Vaccaro: Autonomous mobile manipulators managing perception and failures. Agents 2001: 196-203
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Finzi, Fiora Pirri: Combining Probabilities, Failures and Safety in Robot Control. IJCAI 2001: 1331-1336
2000
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Finzi, Fiora Pirri, Raymond Reiter: Open World Planning in the Situation Calculus. AAAI/IAAI 2000: 754-760
1999
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi Palopoli, Fiora Pirri, Clara Pizzuti: Algorithms for Selective Enumeration of Prime Implicants. Artif. Intell. 111(1-2): 41-72 (1999)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Alberto Finzi: An Approach to Perception in Theory of Actions: Part I. Electron. Trans. Artif. Intell. 3(C): 19-61 (1999)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Raymond Reiter: Some Contributions to the Metatheory of the Situation Calculus. J. ACM 46(3): 325-361 (1999)
1998
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHector J. Levesque, Fiora Pirri, Raymond Reiter: Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. 2: 159-178 (1998)
1997
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Definability and Commonsense Reasoning. Artif. Intell. 93: 169-199 (1997)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Fiora Pirri: Combining Logic I - Introduction. Studia Logica 59(1): 1-4 (1997)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Intuitionistic Autoepistemic Logic. Studia Logica 59(1): 103-120 (1997)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Fiora Pirri: Combining Logic II - Introduction. Studia Logica 59(1): 147-148 (1997)
1996
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Cialdea Mayer, Fiora Pirri: A Study on the Logic of Abduction. ECAI 1996: 18-22
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianni Amati, Fiora Pirri: Is There a Logic of Provability for Nonmonotonic Reasoning? KR 1996: 493-503
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri: A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. J. Log. Comput. 6(2): 205-231 (1996)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri: A Structural Property on Modal Frames Characterizing Default Logic. Logic Journal of the IGPL 4(1): 7-22 (1996)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Cialdea Mayer, Fiora Pirri: Abduction is not Deduction-in-Reverse. Logic Journal of the IGPL 4(1): 95-108 (1996)
1995
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Cialdea Mayer, Fiora Pirri: Propositional Abduction in Modal Logic. Logic Journal of the IGPL 3(6): 907-919 (1995)
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Clara Pizzuti: Explaining Incompatibilities in Data Dictionary Design through Abduction. Data Knowl. Eng. 13(2): 101-139 (1994)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Defaults as restrictions on classical Hilbert-style proofs. Journal of Logic, Language and Information 3(4): 303-326 (1994)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiambattista Amati, Fiora Pirri: A uniform tableau method for intuitionistic modal logics I. Studia Logica 53(1): 29-60 (1994)
1993
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Clara Pizzuti: Characterizing Prime Implicants as Projective Spaces. AI*IA 1993: 41-46
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Clara Pizzuti: Using Datalog as a Language for Data Dictionary Design: A Deductive Support. SEKE 1993: 304-308
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarta Cialdea Mayer, Fiora Pirri: First order abduction via tableau and sequent calculi. Logic Journal of the IGPL 1(1): 99-117 (1993)
1992
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Clara Pizzuti: Data Dictionary Design: A Logic Programming Approach. ER 1992: 210-225
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiora Pirri, Clara Pizzuti: Querying Incomplete Knowledge Bases with Abduction. DEXA 1991: 400-405

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [7] [11] [12] [16] [18]
2Gianni Amati (Giambattista Amati) [6] [7] [11] [12] [13] [16] [18]
3Anna Belardinelli [34] [37]
4Andrea Carbone [34] [35] [36] [37]
5Daniele Ciacelli [35]
6M. Cialente [28]
7Alberto Finzi [21] [23] [24] [25] [27] [28] [32] [35] [36]
8Dov M. Gabbay [11] [12] [15] [17]
9Geoffrey E. Hinton [26]
10Hector J. Levesque [19] [26]
11Maria Letizia Marchegiani [39]
12Stefano Marra [38]
13Marta Cialdea Mayer [3] [9] [10] [14] [30]
14I. Mentuccia [28]
15Andrea Orlandini [36]
16Luigi Palopoli [22]
17Marco Pirrone [25] [28]
18Matia Pizzoli [39]
19Clara Pizzuti [1] [2] [4] [5] [8] [22]
20Raymond Reiter [19] [20] [23]
21Massimo Romano [25] [28] [29]
22Francesco Savelli [28]
23Milko Vaccaro [25]

Colors in the list of coauthors

Copyright © Tue Nov 10 20:29:05 2009 by Michael Ley (ley@uni-trier.de)