×
Compute Distance To:
Author ID: pirri.fiora Recent zbMATH articles by "Pirri, Fiora"
Published as: Pirri, Fiora
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 73 times in 62 Documents Cited by Year
Some contributions to the metatheory of the situation calculus. Zbl 1065.68627
Pirri, Fiora; Reiter, Ray
20
1999
First order abduction via tableau and sequent calculi. Zbl 0807.03005
Mayer, Marta Cialdea; Pirri, Fiora
14
1993
A proof theoretical approach to default reasoning. I: Tableaux for default logic. Zbl 0859.03027
Amati, Gianni; Aiello, Luigia Carlucci; Gabbay, Dov; Pirri, Fiora
10
1996
Abduction is not deduction-in-reverse. Zbl 0847.68112
Cialdea Mayer, Marta; Pirri, Fiora
9
1996
Propositional abduction in modal logic. Zbl 0847.03010
Cialdea Mayer, Marta; Pirri, Fiora
7
1995
A uniform tableau method for intuitionistic modal logics. I. Zbl 0797.03015
Amati, Giambattista; Pirri, Fiora
3
1994
Algorithms for selective enumeration of prime implicants. Zbl 0996.68181
Palopoli, Luigi; Pirri, Fiora; Pizzuti, Clara
3
1999
A structural property on modal frames characterizing default logic. Zbl 0844.03013
Amati, Gianni; Carlucci Aiello, Luigia; Gabbay, Dov; Pirri, Fiora
2
1996
The well-designed logical robot: learning and experience from observations to the Situation Calculus. Zbl 1216.68271
Pirri, Fiora
1
2011
Introduction to the special issue on combining logics I. Zbl 0887.03024
Gabbay, Dov; Pirri, Fiora
1
1997
Intuitionistic autoepistemic logic. Zbl 0888.03013
Amati, Giambattista; Carlucci-Aiello, Luigia; Pirri, Fiora
1
1997
Definability and commonsense reasoning. Zbl 1017.68538
Amati, Gianni; Carlucci Aiello, Luigia; Pirri, Fiora
1
1997
Planning with natural actions in the situation calculus. Zbl 0980.68103
Pirri, Fiora; Reiter, Raymond
1
2000
The well-designed logical robot: learning and experience from observations to the Situation Calculus. Zbl 1216.68271
Pirri, Fiora
1
2011
Planning with natural actions in the situation calculus. Zbl 0980.68103
Pirri, Fiora; Reiter, Raymond
1
2000
Some contributions to the metatheory of the situation calculus. Zbl 1065.68627
Pirri, Fiora; Reiter, Ray
20
1999
Algorithms for selective enumeration of prime implicants. Zbl 0996.68181
Palopoli, Luigi; Pirri, Fiora; Pizzuti, Clara
3
1999
Introduction to the special issue on combining logics I. Zbl 0887.03024
Gabbay, Dov; Pirri, Fiora
1
1997
Intuitionistic autoepistemic logic. Zbl 0888.03013
Amati, Giambattista; Carlucci-Aiello, Luigia; Pirri, Fiora
1
1997
Definability and commonsense reasoning. Zbl 1017.68538
Amati, Gianni; Carlucci Aiello, Luigia; Pirri, Fiora
1
1997
A proof theoretical approach to default reasoning. I: Tableaux for default logic. Zbl 0859.03027
Amati, Gianni; Aiello, Luigia Carlucci; Gabbay, Dov; Pirri, Fiora
10
1996
Abduction is not deduction-in-reverse. Zbl 0847.68112
Cialdea Mayer, Marta; Pirri, Fiora
9
1996
A structural property on modal frames characterizing default logic. Zbl 0844.03013
Amati, Gianni; Carlucci Aiello, Luigia; Gabbay, Dov; Pirri, Fiora
2
1996
Propositional abduction in modal logic. Zbl 0847.03010
Cialdea Mayer, Marta; Pirri, Fiora
7
1995
A uniform tableau method for intuitionistic modal logics. I. Zbl 0797.03015
Amati, Giambattista; Pirri, Fiora
3
1994
First order abduction via tableau and sequent calculi. Zbl 0807.03005
Mayer, Marta Cialdea; Pirri, Fiora
14
1993
all top 5

Cited by 123 Authors

3 De Giacomo, Giuseppe
3 Lespérance, Yves
3 Patrizi, Fabio
3 Pirri, Fiora
3 Uzcategui, Carlos Enrique
2 Amati, Gianni
2 Beyersdorff, Olaf
2 Bonatti, Piero Andrea
2 Carlucci Aiello, Luigia
2 Cassano, Valentín
2 Echenim, Mnacho
2 Endriss, Ulle
2 Gabaldon, Alfredo
2 Kelly, Ryan F.
2 Levesque, Hector J.
2 Liberatore, Paolo
2 Nepomuceno-Fernández, Ángel
2 Pearce, Adrian R.
2 Peltier, Nicolas
2 Pino Pérez, Ramón
2 Soler-Toscano, Fernando
2 Soutchanski, Mikhail
2 Urbański, Mariusz
1 Abdennadher, Slim
1 Aiguier, Marc
1 Aliseda-Llera, Atocha
1 Aliseda, Atocha
1 Alliot, Jean-Marc
1 Areces, Carlos
1 Atif, Jamal
1 Avellone, Alessandro
1 Baier, Jorge A.
1 Baral, Chitta R.
1 Beirlaen, Mathieu
1 Bloch, Isabelle
1 Britz, Katarina
1 Brüning, Stefan
1 Castro, Pablo F.
1 Cerrito, Serenella
1 Cialdea Mayer, Marta
1 Cioni, Gianna
1 Colagrossi, Attilio
1 Demolombe, Robert
1 Denecker, Marc
1 Díaz, Arelis
1 Diéguez, Martín
1 Donini, Francesco M.
1 Douven, Igor
1 Fariñas del Cerro, Luis
1 Felli, Paolo
1 Ferrari, Mauro
1 Fervari, Raul
1 Finger, Marcelo
1 Finzi, Alberto
1 Fitting, Melvin Chris
1 Frühwirth, Thom
1 Gu, Yilan
1 Heidema, Johannes
1 Herzig, Andreas
1 Hoffmann, Guillaume
1 Jin, Qingwei
1 Klarman, Szymon
1 Komosinski, Maciej
1 Krzyżanowska, Karolina
1 Kups, Adam
1 Kutz, Oliver
1 Labuschagne, Willem Adrian
1 Leszczyńska-Jasion, Dorota
1 Li, Pingke
1 Lobo, Jorge
1 Logan, Brian
1 López Pombo, Carlos Gustavo
1 Lukasiewicz, Thomas
1 Maibaum, Thomas Stephen Edward
1 Mancarella, Paolo
1 Marques-Silva, João P.
1 Massacci, Fabio
1 McIlraith, Sheila A.
1 Meier, Arne
1 Mencía, Carlos
1 Millson, Jared
1 Morgenstern, Leora
1 Müller, Sebastian
1 Nardi, Daniele
1 Norman, Timothy J.
1 Olivetti, Nicola
1 Pagnucco, Maurice
1 Pinto, Javier A.
1 Ponomaryov, Denis K.
1 Previti, Alessandro
1 Reed, Chris
1 Rosati, Riccardo
1 Sadri, Fariba
1 Sardina, Sebastian
1 Savelli, Francesco
1 Schaerf, Marco
1 Schaub, Torsten H.
1 Scherl, Richard B.
1 Schlobach, Stefan
1 Shapiro, Steven
...and 23 more Authors

Citations by Year