2008 |
38 | EE | Stefano Marra,
Fiora Pirri:
Eyes and Cameras Calibration for 3D World Gaze Detection.
ICVS 2008: 216-227 |
37 | EE | Anna Belardinelli,
Fiora Pirri,
Andrea Carbone:
Motion Saliency Maps from Spatiotemporal Filtering.
WAPCV 2008: 112-123 |
36 | EE | Andrea 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 |
35 | EE | Andrea Carbone,
Daniele Ciacelli,
Alberto Finzi,
Fiora Pirri:
Autonomous Attentive Exploration in Search and Rescue Scenarios.
WAPCV 2007: 431-446 |
34 | EE | Anna 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 |
33 | EE | Fiora Pirri:
About Implicit and Explicit Shape Representation.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 141-158 |
2005 |
32 | EE | Alberto Finzi,
Fiora Pirri:
Representing Flexible Temporal Behaviors in the Situation Calculus.
IJCAI 2005: 436-441 |
2004 |
31 | | Fiora Pirri:
Indoor Environment Classification and Perceptual Matching.
KR 2004: 73-84 |
2003 |
30 | | Marta 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 |
29 | EE | Fiora Pirri,
Massimo Romano:
2D Qualitative Recognition of SymGeon Aspects.
KES 2003: 1187-1194 |
2002 |
28 | | M. 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 |
27 | | Alberto Finzi,
Fiora Pirri:
Explanatory diagnosing and meaningful perception.
NMR 2002: 124-134 |
26 | | Fiora Pirri,
Geoffrey E. Hinton,
Hector J. Levesque:
In Memory of Ray Reiter (1939-2002).
AI Magazine 23(4): 93 (2002) |
2001 |
25 | EE | Alberto Finzi,
Fiora Pirri,
Marco Pirrone,
Massimo Romano,
Milko Vaccaro:
Autonomous mobile manipulators managing perception and failures.
Agents 2001: 196-203 |
24 | | Alberto Finzi,
Fiora Pirri:
Combining Probabilities, Failures and Safety in Robot Control.
IJCAI 2001: 1331-1336 |
2000 |
23 | | Alberto Finzi,
Fiora Pirri,
Raymond Reiter:
Open World Planning in the Situation Calculus.
AAAI/IAAI 2000: 754-760 |
1999 |
22 | EE | Luigi Palopoli,
Fiora Pirri,
Clara Pizzuti:
Algorithms for Selective Enumeration of Prime Implicants.
Artif. Intell. 111(1-2): 41-72 (1999) |
21 | EE | Fiora Pirri,
Alberto Finzi:
An Approach to Perception in Theory of Actions: Part I.
Electron. Trans. Artif. Intell. 3(C): 19-61 (1999) |
20 | EE | Fiora Pirri,
Raymond Reiter:
Some Contributions to the Metatheory of the Situation Calculus.
J. ACM 46(3): 325-361 (1999) |
1998 |
19 | EE | Hector J. Levesque,
Fiora Pirri,
Raymond Reiter:
Foundations for the Situation Calculus.
Electron. Trans. Artif. Intell. 2: 159-178 (1998) |
1997 |
18 | EE | Gianni Amati,
Luigia Carlucci Aiello,
Fiora Pirri:
Definability and Commonsense Reasoning.
Artif. Intell. 93: 169-199 (1997) |
17 | | Dov M. Gabbay,
Fiora Pirri:
Combining Logic I - Introduction.
Studia Logica 59(1): 1-4 (1997) |
16 | | Gianni Amati,
Luigia Carlucci Aiello,
Fiora Pirri:
Intuitionistic Autoepistemic Logic.
Studia Logica 59(1): 103-120 (1997) |
15 | | Dov M. Gabbay,
Fiora Pirri:
Combining Logic II - Introduction.
Studia Logica 59(1): 147-148 (1997) |
1996 |
14 | | Marta Cialdea Mayer,
Fiora Pirri:
A Study on the Logic of Abduction.
ECAI 1996: 18-22 |
13 | | Gianni Amati,
Fiora Pirri:
Is There a Logic of Provability for Nonmonotonic Reasoning?
KR 1996: 493-503 |
12 | | Gianni 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) |
11 | EE | Gianni 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) |
10 | EE | Marta Cialdea Mayer,
Fiora Pirri:
Abduction is not Deduction-in-Reverse.
Logic Journal of the IGPL 4(1): 95-108 (1996) |
1995 |
9 | EE | Marta Cialdea Mayer,
Fiora Pirri:
Propositional Abduction in Modal Logic.
Logic Journal of the IGPL 3(6): 907-919 (1995) |
1994 |
8 | | Fiora Pirri,
Clara Pizzuti:
Explaining Incompatibilities in Data Dictionary Design through Abduction.
Data Knowl. Eng. 13(2): 101-139 (1994) |
7 | | Gianni 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) |
6 | | Giambattista Amati,
Fiora Pirri:
A uniform tableau method for intuitionistic modal logics I.
Studia Logica 53(1): 29-60 (1994) |
1993 |
5 | | Fiora Pirri,
Clara Pizzuti:
Characterizing Prime Implicants as Projective Spaces.
AI*IA 1993: 41-46 |
4 | | Fiora Pirri,
Clara Pizzuti:
Using Datalog as a Language for Data Dictionary Design: A Deductive Support.
SEKE 1993: 304-308 |
3 | EE | Marta Cialdea Mayer,
Fiora Pirri:
First order abduction via tableau and sequent calculi.
Logic Journal of the IGPL 1(1): 99-117 (1993) |
1992 |
2 | EE | Fiora Pirri,
Clara Pizzuti:
Data Dictionary Design: A Logic Programming Approach.
ER 1992: 210-225 |
1991 |
1 | | Fiora Pirri,
Clara Pizzuti:
Querying Incomplete Knowledge Bases with Abduction.
DEXA 1991: 400-405 |