Search the dblp DataBase
Fiora Pirri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Alberto Finzi, Fiora Pirri, Raymond Reiter
Open World Planning in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
AAAI/IAAI, 2000, pp:754-760 [Conf] - Alberto Finzi, Fiora Pirri, Marco Pirrone, Massimo Romano, Milko Vaccaro
Autonomous mobile manipulators managing perception and failures. [Citation Graph (0, 0)][DBLP]
Agents, 2001, pp:196-203 [Conf] - Fiora Pirri, Clara Pizzuti
Characterizing Prime Implicants as Projective Spaces. [Citation Graph (0, 0)][DBLP]
AI*IA, 1993, pp:41-46 [Conf] - Fiora Pirri
About Implicit and Explicit Shape Representation. [Citation Graph (0, 0)][DBLP]
Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:141-158 [Conf] - Fiora Pirri, Clara Pizzuti
Querying Incomplete Knowledge Bases with Abduction. [Citation Graph (0, 0)][DBLP]
DEXA, 1991, pp:400-405 [Conf] - Marta Cialdea Mayer, Fiora Pirri
A Study on the Logic of Abduction. [Citation Graph (0, 0)][DBLP]
ECAI, 1996, pp:18-22 [Conf] - Fiora Pirri, Clara Pizzuti
Data Dictionary Design: A Logic Programming Approach. [Citation Graph (0, 11)][DBLP]
ER, 1992, pp:210-225 [Conf] - Alberto Finzi, Fiora Pirri
Combining Probabilities, Failures and Safety in Robot Control. [Citation Graph (0, 0)][DBLP]
IJCAI, 2001, pp:1331-1336 [Conf] - Alberto Finzi, Fiora Pirri
Representing Flexible Temporal Behaviors in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
IJCAI, 2005, pp:436-441 [Conf] - Fiora Pirri, Massimo Romano
2D Qualitative Recognition of SymGeon Aspects. [Citation Graph (0, 0)][DBLP]
KES, 2003, pp:1187-1194 [Conf] - Gianni Amati, Fiora Pirri
Is There a Logic of Provability for Nonmonotonic Reasoning? [Citation Graph (0, 0)][DBLP]
KR, 1996, pp:493-503 [Conf] - Fiora Pirri
Indoor Environment Classification and Perceptual Matching. [Citation Graph (0, 0)][DBLP]
KR, 2004, pp:73-84 [Conf] - M. Cialente, Alberto Finzi, I. Mentuccia, Fiora Pirri, Marco Pirrone, Massimo Romano, Francesco Savelli
The Mr.ArmHandOne Project: A Mazes Roamer Robot. [Citation Graph (0, 0)][DBLP]
AAAI Mobile Robot Competition, 2002, pp:56-64 [Conf] - Alberto Finzi, Fiora Pirri
Explanatory diagnosing and meaningful perception. [Citation Graph (0, 0)][DBLP]
NMR, 2002, pp:124-134 [Conf] - Fiora Pirri, Clara Pizzuti
Using Datalog as a Language for Data Dictionary Design: A Deductive Support. [Citation Graph (0, 0)][DBLP]
SEKE, 1993, pp:304-308 [Conf] - Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
Definability and Commonsense Reasoning. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 1997, v:93, n:, pp:169-199 [Journal] - Luigi Palopoli, Fiora Pirri, Clara Pizzuti
Algorithms for Selective Enumeration of Prime Implicants. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 1999, v:111, n:1-2, pp:41-72 [Journal] - Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque
In Memory of Ray Reiter (1939-2002). [Citation Graph (0, 0)][DBLP]
AI Magazine, 2002, v:23, n:4, pp:93- [Journal] - Fiora Pirri, Clara Pizzuti
Explaining Incompatibilities in Data Dictionary Design through Abduction. [Citation Graph (0, 0)][DBLP]
Data Knowl. Eng., 1994, v:13, n:2, pp:101-139 [Journal] - Hector J. Levesque, Fiora Pirri, Raymond Reiter
Foundations for the Situation Calculus. [Citation Graph (0, 0)][DBLP]
Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:159-178 [Journal] - Fiora Pirri, Alberto Finzi
An Approach to Perception in Theory of Actions: Part I. [Citation Graph (0, 0)][DBLP]
Electron. Trans. Artif. Intell., 1999, v:3, n:C, pp:19-61 [Journal] - Fiora Pirri, Raymond Reiter
Some Contributions to the Metatheory of the Situation Calculus. [Citation Graph (0, 0)][DBLP]
J. ACM, 1999, v:46, n:3, pp:325-361 [Journal] - Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
Defaults as restrictions on classical Hilbert-style proofs. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 1994, v:3, n:4, pp:303-326 [Journal] - Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1996, v:6, n:2, pp:205-231 [Journal] - Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
Intuitionistic Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
Studia Logica, 1997, v:59, n:1, pp:103-120 [Journal] - Giambattista Amati, Fiora Pirri
A uniform tableau method for intuitionistic modal logics I. [Citation Graph (0, 0)][DBLP]
Studia Logica, 1994, v:53, n:1, pp:29-60 [Journal] - Dov M. Gabbay, Fiora Pirri
Combining Logic I - Introduction. [Citation Graph (0, 0)][DBLP]
Studia Logica, 1997, v:59, n:1, pp:1-4 [Journal] - Dov M. Gabbay, Fiora Pirri
Combining Logic II - Introduction. [Citation Graph (0, 0)][DBLP]
Studia Logica, 1997, v:59, n:1, pp:147-148 [Journal]
Eyes and Cameras Calibration for 3D World Gaze Detection. [Citation Graph (, )][DBLP]
Multimodal Speaker Recognition in a Conversation Scenario. [Citation Graph (, )][DBLP]
Autonomous Attentive Exploration in Search and Rescue Scenarios. [Citation Graph (, )][DBLP]
Motion Saliency Maps from Spatiotemporal Filtering. [Citation Graph (, )][DBLP]
Model-based control architecture for attentive robots in rescue scenarios. [Citation Graph (, )][DBLP]
Search in 0.010secs, Finished in 0.012secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002