The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fiora Pirri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Fiora Pirri, Clara Pizzuti
    Characterizing Prime Implicants as Projective Spaces. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:41-46 [Conf]
  4. 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]
  5. Fiora Pirri, Clara Pizzuti
    Querying Incomplete Knowledge Bases with Abduction. [Citation Graph (0, 0)][DBLP]
    DEXA, 1991, pp:400-405 [Conf]
  6. Marta Cialdea Mayer, Fiora Pirri
    A Study on the Logic of Abduction. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:18-22 [Conf]
  7. Fiora Pirri, Clara Pizzuti
    Data Dictionary Design: A Logic Programming Approach. [Citation Graph (0, 11)][DBLP]
    ER, 1992, pp:210-225 [Conf]
  8. Alberto Finzi, Fiora Pirri
    Combining Probabilities, Failures and Safety in Robot Control. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:1331-1336 [Conf]
  9. Alberto Finzi, Fiora Pirri
    Representing Flexible Temporal Behaviors in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:436-441 [Conf]
  10. Fiora Pirri, Massimo Romano
    2D Qualitative Recognition of SymGeon Aspects. [Citation Graph (0, 0)][DBLP]
    KES, 2003, pp:1187-1194 [Conf]
  11. Gianni Amati, Fiora Pirri
    Is There a Logic of Provability for Nonmonotonic Reasoning? [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:493-503 [Conf]
  12. Fiora Pirri
    Indoor Environment Classification and Perceptual Matching. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:73-84 [Conf]
  13. 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]
  14. Alberto Finzi, Fiora Pirri
    Explanatory diagnosing and meaningful perception. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:124-134 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]

  29. Eyes and Cameras Calibration for 3D World Gaze Detection. [Citation Graph (, )][DBLP]


  30. Multimodal Speaker Recognition in a Conversation Scenario. [Citation Graph (, )][DBLP]


  31. Autonomous Attentive Exploration in Search and Rescue Scenarios. [Citation Graph (, )][DBLP]


  32. Motion Saliency Maps from Spatiotemporal Filtering. [Citation Graph (, )][DBLP]


  33. Model-based control architecture for attentive robots in rescue scenarios. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.035secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002