@article {IoLuNa09,
	title = {Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty},
	journal = {{ACM} Transactions on Computational Logics},
	volume = {10},
	number = {1},
	year = {2009},
	pages = {1{\textendash}41},
	issn = {1529-3785},
	doi = {http://doi.acm.org/10.1145/1459010.1459015},
	url = {http://tocl.acm.org/accepted/296lukasiewicz.pdf},
	author = {Luca Iocchi and Thomas Lukasiewicz and Daniele Nardi and Riccardo Rosati}
}
@booklet {IoLuNa06,
	title = {Reasoning about actions with sensing under qualitative and probabilistic uncertainty},
	year = {2006},
	note = {Tech.\ Rep.{\.I}NFSYS RR-1843-03-05},
	publisher = {Institut f{\"u}r Informations\-systeme, Technische Universit{\"a}t Wien},
	author = {Luca Iocchi and Thomas Lukasiewicz and Daniele Nardi and Riccardo Rosati}
}
@conference {IoNaRo04b,
	title = {Generation of Strong Cyclic Plans with Incomplete Information and Sensing},
	booktitle = {Proceedings of Workshop on Planning and Scheduling at the Congress of the Italian Association for Artificial Intelligence ({AI*IA})},
	year = {2004},
	address = {Perugia, Italy},
	author = {Luca Iocchi and Daniele Nardi and Riccardo Rosati}
}
@conference {IoNaRo04a,
	title = {Strong Cyclic Planning with Incomplete Information and Sensing},
	booktitle = {Proceedings of 4th Int. Workshop on Planning and Scheduling for Space},
	year = {2004},
	address = {Darmstadt, Germany},
	author = {Luca Iocchi and Daniele Nardi and Riccardo Rosati}
}
@article {DoNR02,
	title = {Description Logics of Minimal Knowledge and Negation as Failure},
	volume = {3},
	number = {2},
	year = {2002},
	pages = {1{\textendash}49},
	author = {Francesco M. Donini and Daniele Nardi and Riccardo Rosati}
}
@article { DoNR02,
	title = {Description Logics of Minimal Knowledge and Negation as Failure},
	journal = {TOCL},
	volume = {3},
	number = {2},
	year = {2002},
	pages = {1{\textendash}49},
	author = {Francesco M. Donini and D. Nardi and Riccardo Rosati}
}
@article { DoNR02,
	title = {Description Logics of Minimal Knowledge and Negation as Failure},
	volume = {3},
	number = {2},
	year = {2002},
	pages = {1{\textendash}49},
	author = {Francesco M. Donini and D. Nardi and Riccardo Rosati}
}
@conference {Iocc-Nard-00,
	title = {Planning with sensing, concurrency, and exogenous events: logical framework and implementation},
	booktitle = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR{\textquoteright}2000)},
	year = {2000},
	pages = {678{\textendash}689},
	url = {https://www.diag.uniroma1.it/iocchi/publications/iocchi-kr00.pdf},
	author = {Luca Iocchi and Daniele Nardi and Riccardo Rosati}
}
@conference { Iocc-Nard-00,
	title = {Planning with sensing, concurrency, and exogenous events: logical framework and implementation},
	booktitle = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR{\textquoteright}2000)},
	year = {2000},
	pages = {678{\textendash}689},
	author = {L. Iocchi and D. Nardi and Riccardo Rosati}
}
@article { DeGi-Iocc-Nard-99,
	title = {A Theory and Implementation of Cognitive Mobile Robots},
	journal = {Journal of Logic and Computation},
	volume = {5},
	number = {9},
	year = {1999},
	pages = {759{\textendash}785},
	issn = {0955-792X},
	author = {Giuseppe De Giacomo and L. Iocchi and D. Nardi and Riccardo Rosati}
}
@conference { DeGi-Iocc-Nard-97a,
	title = {Planning with Sensing for a Mobile Robot},
	booktitle = {Proc. of 4th European Conference on Planning (ECP{\textquoteright}97)},
	year = {1997},
	author = {Giuseppe De Giacomo and L. Iocchi and D. Nardi and Riccardo Rosati}
}
@conference { DeGi-Iocc-Nard-96b,
	title = {Moving a Robot from a Theory of Actions},
	booktitle = {Proceedings of the AAAI{\textquoteright}96 Workshop on Reasoning about Actions, Planning and Control: Bridging the Gap},
	year = {1996},
	address = {Portland (USA)},
	author = {Giuseppe De Giacomo and L. Iocchi and D. Nardi and Riccardo Rosati}
}
@conference {DeGi-Iocc-Nard-96b,
	title = {Moving a Robot from a Theory of Actions},
	booktitle = {Proceedings of the AAAI{\textquoteright}96 Workshop on Reasoning about Actions, Planning and Control: Bridging the Gap},
	year = {1996},
	address = {Portland (USA)},
	author = {Giuseppe De Giacomo and Luca Iocchi and Daniele Nardi and Riccardo Rosati}
}
@conference {Giacomo96movinga,
	title = {Moving a Robot: The KR\&R Approach at Work},
	booktitle = {IN PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR-96},
	year = {1996},
	pages = {198{\textendash}209},
	author = {Giuseppe De Giacomo and L. Iocchi and D. Nardi and Riccardo Rosati}
}
