Situation Calculus and Theories of Actions
Alberto Finzi and Fiora Pirri
“Representing flexible temporal behaviors in the situation calculus,”
In Proceedings of IJCAI 2005, 2005, pp. 436–441.
Alberto Finzi and Fiora Pirri
“Representing flexible temporal behaviors in the situation calculus,”
In Printed Notes of Workshop on Commonsense Reasoning, 2005.
Alberto Finzi and Fiora Pirri
Flexible Interval Planning in Concurrent Temporal Golog.
In CogRob-2004 (ECAI 2004) (4th International Cognitive Robotics Workshop),
August 23-24, 2004, Valencia, Spain.
Alberto Finzi, Fiora Pirri:
Combining Probabilities, Failures and Safety in Robot Control.
In Proceedings IJCAI 2001: 1331-1336
Fiora Pirri and Ray Reiter.
"Planning with natural action in the situation calculus",
In Logic-Based Artificial Intelligence, Jack Minker Editor, Kluwer, pp. 213-231, 2000.
Alberto Finzi, Fiora Pirri and Raymond Reiter
"Open World Planning in the Situation Calculus"
In Proceedings of Seventeenth National Conference on Artificial Intelligence (AAAI-00), Austin, Texas, pp. 754-800, 2000.
Fiora Pirri and Ray Reiter.
"Some contributions to the metatheory of the Situation Calculus"
Journal of ACM, Vol.46(3), pp. 325-362, 1999.
Hector Levesque, Fiora Pirri and Ray Reiter.
"Foundations of the situation calculus",
Electronic Transactions on Artificial Intelligence, Vol. 2(18), pp. 161-178, 1998.
Hector Levesque and Fiora Pirri (Editors).
"Logical Foundations for Cognitive Agents. Contributions in Honor of Ray Reiter",
Springer, Berlin, Artificial Intelligence Series,1999.