Publications
Moving a Robot from a Theory of Actions,
, Proceedings of the AAAI'96 Workshop on Reasoning about Actions, Planning and Control: Bridging the Gap, Portland (USA), (1996)
Moving a Robot from a Theory of Actions,
, Proceedings of the AAAI'96 Workshop on Reasoning about Actions, Planning and Control: Bridging the Gap, Portland (USA), (1996)
Moving a Robot: The KR&R Approach at Work,
, IN PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR-96, p.198–209, (1996)
Planning with Sensing for a Mobile Robot,
, Proc. of 4th European Conference on Planning (ECP'97), (1997)
A Theory and Implementation of Cognitive Mobile Robots,
, Journal of Logic and Computation, Volume 5, Number 9, p.759–785, (1999)
Planning with sensing, concurrency, and exogenous events: logical framework and implementation,
, Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), p.678–689, (2000)
Planning with sensing, concurrency, and exogenous events: logical framework and implementation,
, Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), p.678–689, (2000)
Description Logics of Minimal Knowledge and Negation as Failure,
, Volume 3, Number 2, p.1–49, (2002)
Description Logics of Minimal Knowledge and Negation as Failure,
, TOCL, Volume 3, Number 2, p.1–49, (2002)
Description Logics of Minimal Knowledge and Negation as Failure,
, Volume 3, Number 2, p.1–49, (2002)
Generation of Strong Cyclic Plans with Incomplete Information and Sensing,
, Proceedings of Workshop on Planning and Scheduling at the Congress of the Italian Association for Artificial Intelligence ({AI*IA}), Perugia, Italy, (2004)
Strong Cyclic Planning with Incomplete Information and Sensing,
, Proceedings of 4th Int. Workshop on Planning and Scheduling for Space, Darmstadt, Germany, (2004)
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty,
, {ACM} Transactions on Computational Logics, Volume 10, Number 1, p.1–41, (2009)