Situation Assessment and Information fusion: an
experimental framework for performance evaluation
A. Farinelli, L. Iocchi, S. Lo Cascio, D. Nardi.
In Proc. of 7th IEEE International Conference on Information
Fusion, Sweden, 2004.
Reasoning
about Actions with Sensing under Qualitative and Probabilistic
Uncertainty
L. Iocchi, T. Lukasiewicz, D. Nardi, R.
Rosati
In Proc. of 16th European Conference on Artificial
Intelligence (ECAI 2004), Spain, August 2004
Strong
Cyclic Planning with Incomplete Information and Sensing
L.
Iocchi, D. Nardi, R. Rosati
In Proc. of 4th International Workshop
on Planning and Scheduling for Space, Darmstadt, Germany, June
2004.
Dynamic token generation for constrained tasks in a Multi-Robot
System
F. Cottefoglie, A. Farinelli, L. Iocchi, D. Nardi
In
Proc. of IEEE Int. Conference on Systems, Man and Cybernetics, The
Netherlands, pp. 911-917, 2004.
Multi Robot Systems: A classification based on
coordination
A. Farinelli, L. Iocchi, D. Nardi
IEEE
Transactions on System Man and Cybernetics, part B, Vol. 34, n. 5, pp.
2015-2028, 2004.
Towards Ambient Intelligence for the domestic care of the
elderly.
S.Bahadori, A.Cesta, L.Iocchi, G.R.Leone, D.Nardi,
F.Pecora, R.Rasconi and L.Scozzafava
In Ambient Intelligence: A
Novel Paradigm P. Remagnino, G.L. Foresti, T. Ellis (Eds.), Springer,
2004.
The
description logic handbook: Theory, implementation, and applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and
Peter F. Patel-Schneider, editors
Cambridge University Press, 2003.
Description
Logics
Daniele Nardi, Ronald J. Brachman,
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele
Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook:
Theory, Implementation and Applications, chapter 1, pages 1--40.
Cambridge University Press, 2003.
Cognitive
Soccer Robots
A. Farinelli, G. Grisetti, L. Iocchi, D.
Nardi
ERCIM News, 53, 2003.
Distributed Coordination in Heterogeneous Multi-Robot
Systems
L. Iocchi, D. Nardi, M. Piaggio, A.
Sgorbissa
Autonomous Robots 15 (2), pp. 155-168, 2003.
Design and evaluation of multi agent systems for rescue
operations
A. Farinelli, G. Grisetti, L. Iocchi, S. Lo Cascio, D.
Nardi
In Proc. of IEEE/RSJ International Conference on Intelligent
Robots and Systems (IROS'03), Vol. 4 pages 3138-3143, 2003.
RoboCup
Rescue Simulation: Methodologies, Tools and Evaluation for Practical
Applications
A. Farinelli, G. Grisetti, L. Iocchi, S. Lo
Cascio, D. Nardi
In Proc. of RoboCup Symposium, 2003.
An analysis of Coordination Multi-Robot
System
A. Farinelli, L. Iocchi, D. Nardi
In
Proc. of IEEE Int. Conference on Systems, Man and Cybernetics,
Washington DC, pp. 1487-1492, 2003.
Hough
Localization for Mobile Robots in Polygonal Environments
Luca
Iocchi, Daniele Nardi
Robotics and Autonomous Systems, 40, pp.
43-58, 2002
Global
Hough Localization for Mobile Robots in Polygonal Environments
G. Grisetti, L. Iocchi, D. Nardi
In Proc. of
International Conference on Robotics and Automation (ICRA02) , Vol. 1
pages 353-358. Washington DC, USA, 2002.
Generation
and Execution of Partially Correct Plans in Dynamic Environments
A. Farinelli, G. Grisetti, L. Iocchi, D. Nardi, R.
Rosati
In Proc. of Third International Cognitive Robotics Workshop
(COGROB02) , Edmonton, Canada, 2002.
Coordination
in Dynamic Environments with Constraints on
Resources
Alessandro Farinelli, Giorgio Grisetti, Luca Iocchi,
Daniele Nardi
IROS Workshop on Cooperative Robotics, 2002.
Monitoring
and Information Fusion for Search and Rescue Operations in Large-Scale
Disasters
F. D'Agostino, A. Farinelli, G. Grisetti, L. Iocchi,
D. Nardi
In Proc. of 5th International Conference on Information
Fusion, 672-679, 2002.
Description logics of minimal knowledge and negation as failure
Francesco M. Donini, Daniele Nardi, and Riccardo Rosati.
ACM
Transactions on Computational Logic, volume 3, number 2, pages 177-255,
2002.
Tecniche di Analisi degli Utenti di Portali Web Adattativi
Luigi Dragone, Daniele Nardi, Riccardo Rosati.
AI*IA
Notizie, volume 15(2), pages 30-41, 2002. In Italian.
A
Probabilistic Approach to Hough Localization
L. Iocchi, D.
Mastrantuono, D. Nardi
In Proc. of International Conference on
Robotics and Automation (ICRA'01) , Seoul, Korea, 2001.
Data
integration in data warehousing
Diego Calvanese, Giuseppe De Giacomo, Maurizio
Lenzerini, Daniele Nardi, and Riccardo Rosati
Int. J.
of Cooperative Information Systems, 10(3):237-271, 2001.
Reasoning
in expressive description logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio
Lenzerini, and Daniele Nardi
In Alan Robinson and Andrei
Voronkov, editors, Handbook of Automated Reasoning, pages 1581-1634.
Elsevier Science Publishers, 2001.
Coordination in multi-agent RoboCup teams
C. Candea, H. Hu,
L. Iocchi, D. Nardi, M. Piaggio
Robotics and Autonomous Systems,
36, pp. 67-86, 2001
Reactivity and Deliberation: A Survey on Multi-Robot Systems
L. Iocchi, D. Nardi, M. Salerno
In Balancing Reactivity and
Social Deliberation in Multi-Agent Systems (LNAI 2103) M. Hannebauer,
J. Wendler, E. Pagello Eds. Springer, 2001.
Modellazione e qualità dei dati in sistemi di Data Warehouse
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi,
Riccardo Rosati, and Laura Tosco.
AI*IA Notizie, volume 13(2),
pages 68-75, 2000. In Italian.
Artificial
Intelligence in RoboCup
D. Nardi,
In Proc. of 14th European Conference on Artificial
Intelligence (ECAI 2000), Berlin, August 2000.
Coordination
among heterogenous robotic soccer players
C. Castelpietra,
L. Iocchi, D. Nardi, M. Piaggio, A. Scalzo, A. Sgorbissa
In Proc. of
International Conference on Intelligent Robots and Systems (IROS
2000), Vol. 2 pages 1385-1390, 2000.
Self-instructive spreadsheets:
an environment for automatic knowledge acquisition and tutor generation
Maurizio Lentini, Daniele Nardi, and Alessandro Simonetta
Int. Jou. Human Computer Systems, 52:775-803, 2000.
Source integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele
Nardi, and Riccardo Rosati
In Matthias Jarke, Maurizio Lenzerini, Yannis Vassiliou, and Panos
Vassiliadis, editors, Fundamentals of Data Warehouses, chapter 3.
Springer-Verlag, 1999.
Unifying class-based representation
formalisms
Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
J. of Artificial Intelligence Research, 11:199-240, 1999.
postscript
(gzipped)
A theory and implementation
of cognitive mobile robots
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati
J. of Logic and Computation, 1999.
Design and implementation
of robotic soccer behaviors: a user viewpoint
Luca Iocchi and Daniele Nardi
Proc. of Third International ICSC Symposia on Intelligent
Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999.
Hough trasform-based
localization for mobile robots
Luca Iocchi and Daniele Nardi
In Proceedings of 3rd ICMAS/IEEE Int. Conf. on Circuits, Systems,
Communication and Computers, 1999.
Self-localization in
the robocup environment
Luca Iocchi and Daniele Nardi
In Proceedings of 3rd RoboCup Symposium. Springer-Verlag, 1999.
ART-99: Azzurra Robot
Team
Daniele Nardi, Giovanni Adorni, Andrea Bonarini, Antonio
Chella, Giorgio Clemente, Enrico Pagello, and Maurizio
Piaggio
In Proceedings of 3rd RoboCup Symposium. Springer-Verlag, 1999.
Description logics for conceptual
data modeling
Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In Jan Chomicki and G"unter Saake, editors,
Logics for Databases
and Information Systems, pages 229-263. Kluwer Academic Publisher,
1998.
postscript
(gzipped)
AL-log: integrating
datalog and description logics
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi,
and Andrea Schaerf
J. of Intelligent and Cooperative Information Systems, 10:227-252,
1998.
postscript
(gzipped)
ART: Azzurra Robot
Team
Daniele Nardi, Giorgio Clemente, and Enrico Pagello
In Proceedings of 2nd RoboCup Symposium. Springer-Verlag, 1998.
Reasoning about
actions: Foundations and applications
Giuseppe De Giacomo and Daniele Nardi, editors 10th European Summer School
in Logic Language and Information (ESSLLI'98), 1998.
An epistemic
operator for description logics
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea
Schaerf, and Werner Nutt
Artificial Intelligence, 100(1-2):225-274, 1998.
Description logic framework for
information integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele
Nardi, and Riccardo Rosati
In Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation
and Reasoning (KR'98), pages 2-13, 1998.
postscript
(gzipped)
Information integration:
Conceptual modeling and reasoning support
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele
Nardi, and Riccardo Rosati
In Proc. of the 6th Int. Conf. on Cooperative Information Systems
(CoopIS'98), pages 280-291, 1998.
postscript
(gzipped)
Source integration in data
warehousing
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele
Nardi, and Riccardo Rosati
In Proc. of the 9th Int. Workshop on Database and Expert Systems
Applications (DEXA'98), pages 192-197. IEEE Computer Society Press,
1998.
postscript
(gzipped)
Web-at-a-glance
Tiziana Catarci, S.K.C"hang, Daniele Nardi, and Giuseppe
Santucci
Journal of Intelligent Information Systems, 1998.
Knowledge representation
techniques for information extraction on the Web
Mattia De Rosa, Luca Iocchi, and Daniele Nardi
In Proceedings of Webnet 98, 1998.
Materializing the Web
Mattia De Rosa, Tiziana Catarci, Luca Iocchi, Daniele
Nardi, and Giuseppe Santucci
In Proc. of the 3rd IFCIS Conference on Cooperative Information
Systems (CoopIS'98)., 1998.
Information access in
the Web
Luca Iocchi and Daniele Nardi
In Proceedings of WEBNET-97, 1997.
Autoepistemic description logics
Francesco M. Donini, Daniele Nardi, and Riccardo Rosati
In Proc. of the 15th Int. Joint. Conf. on Artificial Intelligence
(IJCAI'97), pages 136-141, 1997.
Ground nonmonotonic modal logics
Francesco M. Donini, Daniele Nardi, and Riccardo Rosati
J. of Logic and Computation, 7(4):523-548, August 1997.
postscript
(gzipped)
Planning with sensing
for a mobile robot
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati
In Proceedings of the European Conference on Planning (ECP'97),
pages 158-170. Springer-Verlag, 1997.
The complexity of concept languages
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi,
and Werner Nutt
Infomation and Computation, 134:1-58, 1997.
Moving a robot: the
kr&r approach at work
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati
In Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation
and Reasoning (KR'96), pages 198-209. Morgan Kaufmann Publishers, 1996.
Modal and meta languages:
Consistency and expressiveness
Luigia Carlucci Aiello, Marta Cialdea, Daniele Nardi,
and Marco Schaerf
In K. Apt and F. Turini, editors,
Meta-logics and Logic Programming,
pages 243-265. MIT Press, 1995.
Deduction in concept languages:
From subsumption to instance checking
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi,
and Andrea Schaerf
J. of Logic and Computation, 4(4):423-452, 1994.
postscript
(gzipped)
A unified framework for class
based representation formalisms
Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In J. Doyle, E. Sandewall, and P. Torasso, editors, Proc. of the
4th Int. Conf. on the Principles of Knowledge Representation and Reasoning
(KR'94), pages 109-120, Bonn, 1994. Morgan Kaufmann, Los Altos.
postscript
(gzipped)
The complexity of existential
quantification in concept languages
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard
Hollunder, Werner Nutt, and Alberto Marchetti Spaccamela
Artificial Intelligence, 53:309-327, 1992.
Tractable concept languages
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi,
and Werner Nutt
In Proc. of the 12th Int. Joint. Conf. on Artificial Intelligence
(IJCAI'91), pages 458-463, Sidney, 1991. Best Paper Award.