| 2007 |
|---|
| 98 | EE | Daniele Calisi,
Alessandro Farinelli,
Giorgio Grisetti,
Luca Iocchi,
Daniele Nardi,
S. Pellegrini,
D. Tipaldi,
Vittorio A. Ziparo:
Uses of Contextual Knowledge in Mobile Robots.
AI*IA 2007: 543-554 |
| 97 | EE | Gian Diego Tipaldi,
Alessandro Farinelli,
Luca Iocchi,
Daniele Nardi:
Heterogeneous Feature State Estimation with Rao-Blackwellized Particle Filters.
ICRA 2007: 3850-3855 |
| 96 | EE | Vittorio A. Ziparo,
Alexander Kleiner,
Bernhard Nebel,
Daniele Nardi:
RFID-Based Exploration for Large Robot Teams.
ICRA 2007: 4606-4613 |
| 95 | EE | Alessandro Farinelli,
Daniele Nardi,
Paul Scerri,
Alberto Ingenito:
Dealing with Perception Errors in Multi-Robot System Coordination.
IJCAI 2007: 2091-2096 |
| 94 | EE | Shahram Bahadori,
Luca Iocchi,
G. R. Leone,
Daniele Nardi,
L. Scozzafava:
Real-time people localization and tracking through fixed stereo vision.
Appl. Intell. 26(2): 83-97 (2007) |
| 93 | EE | Giorgio Grisetti,
Gian Diego Tipaldi,
Cyrill Stachniss,
Wolfram Burgard,
Daniele Nardi:
Fast and accurate SLAM with Rao-Blackwellized particle filters.
Robotics and Autonomous Systems 55(1): 30-38 (2007) |
| 2006 |
|---|
| 92 | | Giorgio Grisetti,
Gian Diego Tipaldi,
Cyrill Stachniss,
Wolfram Burgard,
Daniele Nardi:
Speeding-up Rao-blackwellized SLAM.
ICRA 2006: 442-447 |
| 91 | EE | Daniele Nardi,
Luca Iocchi:
Artificial Intelligence in RoboCup.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 193-211 |
| 90 | EE | Giuliano Polverari,
Daniele Calisi,
Alessandro Farinelli,
Daniele Nardi:
Development of an Autonomous Rescue Robot Within the USARSim 3D Virtual Environment.
RoboCup 2006: 491-498 |
| 89 | EE | Diego Calvanese,
Luigi Dragone,
Daniele Nardi,
Riccardo Rosati,
Stefano Trisolini:
Enterprise modeling and Data Warehousing in Telecom Italia.
Inf. Syst. 31(1): 1-32 (2006) |
| 88 | | Antonio Chella,
Luca Iocchi,
Irene Macaluso,
Daniele Nardi:
Artificial Intelligence and Robotics.
Intelligenza Artificiale 3(1-2): 87-93 (2006) |
| 2005 |
|---|
| 87 | | Daniele Nardi,
Martin Riedmiller,
Claude Sammut,
José Santos-Victor:
RoboCup 2004: Robot Soccer World Cup VIII
Springer 2005 |
| 86 | | Alessandro Farinelli,
Luca Iocchi,
Daniele Nardi,
Vittorio A. Ziparo:
Task Assignment with Dynamic Perception and Constrained Tasks in a Multi-Robot System.
ICRA 2005: 1523-1528 |
| 85 | EE | Shahram Bahadori,
Luca Iocchi,
G. R. Leone,
Daniele Nardi,
L. Scozzafava:
Real-Time People Localization and Tracking Through Fixed Stereo Vision.
IEA/AIE 2005: 44-54 |
| 84 | | Alessandro Farinelli,
Luca Iocchi,
Daniele Nardi,
Fabio Patrizi:
A Multi Agent System approach for emergency intervention: experimental analysis and evaluation.
Intelligenza Artificiale 2(1): 47-53 (2005) |
| 83 | | Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Generation of Strong Cyclic Plans with Incomplete Information and Sensing.
Intelligenza Artificiale 2(4): 58-65 (2005) |
| 2004 |
|---|
| 82 | | Luca Iocchi,
Thomas Lukasiewicz,
Daniele Nardi,
Riccardo Rosati:
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty.
ECAI 2004: 818-822 |
| 81 | EE | Luca Iocchi,
Thomas Lukasiewicz,
Daniele Nardi,
Riccardo Rosati:
Qualitative and probabilistic uncertainty in reasoning about actions with sensing.
NMR 2004: 240-248 |
| 80 | EE | Fabio Cottefoglie,
Alessandro Farinelli,
Luca Iocchi,
Daniele Nardi:
Dynamic token generation for constrained tasks in a multi-robot system.
SMC (1) 2004: 911-917 |
| 79 | EE | Alessandro Farinelli,
Luca Iocchi,
Daniele Nardi:
Multirobot systems: a classification focused on coordination.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(5): 2015-2028 (2004) |
| 78 | | Shahram Bahadori,
Amedeo Cesta,
Giorgio Grisetti,
Luca Iocchi,
Riccardo Leone,
Daniele Nardi,
Angelo Oddi,
Federico Pecora,
Riccardo Rasconi:
RoboCare: Pervasive Intelligence for the Domestic Care of the Elderly.
Intelligenza Artificiale 1(1): 16-21 (2004) |
| 2003 |
|---|
| 77 | | Franz Baader,
Diego Calvanese,
Deborah L. McGuinness,
Daniele Nardi,
Peter F. Patel-Schneider:
The Description Logic Handbook: Theory, Implementation, and Applications
Cambridge University Press 2003 |
| 76 | | Daniele Nardi,
Ronald J. Brachman:
An Introduction to Description Logics.
Description Logic Handbook 2003: 1-40 |
| 75 | EE | Hans-Dieter Burkhard,
Minoru Asada,
Andrea Bonarini,
Adam Jacoff,
Daniele Nardi,
Martin Riedmiller,
Claude Sammut,
Elizabeth Sklar,
Manuela M. Veloso:
RoboCup: Yesterday, Today, and Tomorrow Workshop of the Executive Committee in Blaubeuren, October 2003.
RoboCup 2003: 15-34 |
| 74 | EE | Alessandro Farinelli,
Giorgio Grisetti,
Luca Iocchi,
Sergio Lo Cascio,
Daniele Nardi:
RoboCup Rescue Simulation: Methodologies Tools and Evaluation for Practical Applications.
RoboCup 2003: 645-653 |
| 73 | | Luca Iocchi,
Daniele Nardi,
Maurizio Piaggio,
Antonio Sgorbissa:
Distributed Coordination in Heterogeneous Multi-Robot Systems.
Auton. Robots 15(2): 155-168 (2003) |
| 2002 |
|---|
| 72 | | Fabio Zonfrilli,
Giuseppe Oriolo,
Daniele Nardi:
A Biped Locomotion Strategy for the Quadruped Robot Sony ERS-210.
ICRA 2002: 2768-2774 |
| 71 | | Giorgio Grisetti,
Luca Iocchi,
Daniele Nardi:
Global Hough Localization for Mobile Robots in Polygonal Environments.
ICRA 2002: 353-358 |
| 70 | EE | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Description logics of minimal knowledge and negation as failure.
ACM Trans. Comput. Log. 3(2): 177-225 (2002) |
| 69 | EE | Luca Iocchi,
Daniele Nardi:
Hough Localization for mobile robots in polygonal environments.
Robotics and Autonomous Systems 40(1): 43-58 (2002) |
| 2001 |
|---|
| 68 | | Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Dan Suciu:
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001
CEUR-WS.org 2001 |
| 67 | | Luca Iocchi,
Domenico Mastrantuono,
Daniele Nardi:
A Probabilistic approach to Hough Localization.
ICRA 2001: 4250-4255 |
| 66 | EE | Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Dan Suciu:
Preface.
KRDB 2001 |
| 65 | EE | Claudio Castelpietra,
A. Guidotti,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Design and Implementation of Cognitive Soccer Robots.
RoboCup 2001: 312-318 |
| 64 | EE | Luca Iocchi,
Daniele Baldassari,
Flavio Cappelli,
Alessandro Farinelli,
Giorgio Grisetti,
Floris Maathuis,
Daniele Nardi:
S.P.Q.R. Wheeled Team.
RoboCup 2001: 669-672 |
| 63 | EE | Daniele Nardi,
Vincenzo Bonifaci,
Claudio Castelpietra,
Ugo Di Iorio,
A. Guidotti,
Luca Iocchi,
Massimiliano Salerno,
Fabio Zonfrilli:
S.P.Q.R. Legged Team.
RoboCup 2001: 717-720 |
| 62 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi:
Reasoning in Expressive Description Logics.
Handbook of Automated Reasoning 2001: 1581-1634 |
| 61 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Data Integration in Data Warehousing.
Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001) |
| 60 | EE | Ciprian Candea,
Huosheng Hu,
Luca Iocchi,
Daniele Nardi,
Maurizio Piaggio:
Coordination in multi-agent RoboCup teams.
Robotics and Autonomous Systems 36(2-3): 67-86 (2001) |
| 59 | EE | Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Dan Suciu:
Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB).
SIGMOD Record 30(4): 92-93 (2001) |
| 2000 |
|---|
| 58 | EE | Luca Iocchi,
Daniele Nardi,
Massimiliano Salerno:
Reactivity and Deliberation: A Survey on Multi-Robot Systems.
Balancing Reactivity and Social Deliberation in Multi-Agent Systems 2000: 9-34 |
| 57 | | Daniele Nardi:
Artificial Intelligence in RoboCup.
ECAI 2000: 756-762 |
| 56 | | Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Planning with sensing, concurrency, and exogenous events: logical framework and implementation.
KR 2000: 678-689 |
| 55 | EE | Giovanni Adorni,
Andrea Bonarini,
Giorgio Clemente,
Daniele Nardi,
Enrico Pagello,
Maurizio Piaggio:
ART'00 - Azzurra Robot Team for the Year 2000.
RoboCup 2000: 559-562 |
| 54 | EE | Daniele Nardi,
Claudio Castelpietra,
A. Guidotti,
Massimiliano Salerno,
C. Sanitati:
S.P.Q.R.
RoboCup 2000: 635-638 |
| 53 | EE | Claudio Castelpietra,
Luca Iocchi,
Daniele Nardi,
Maurizio Piaggio,
Alessandro Scalzo,
Antonio Sgorbissa:
Communication and Coordination Among Heterogeneous Mid-Size Players: ART99.
RoboCup 2000: 86-95 |
| 1999 |
|---|
| 52 | EE | Daniele Nardi,
Riccardo Rosati:
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled.
AI*IA 1999: 1-12 |
| 51 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
A Principled Approach to Data Integration and Reconciliation in Data Warehousing.
DMDW 1999: 16 |
| 50 | | Luca Iocchi,
Daniele Nardi:
Design and Implementation of Robotic Soccer Behaviors: A User Viewpoint.
IIA/SOCO 1999 |
| 49 | | Luca Iocchi,
Daniele Nardi:
Self-Localization in the RoboCup Environment.
RoboCup 1999: 318-330 |
| 48 | | Daniele Nardi,
Giovanni Adorni,
Andrea Bonarini,
Antonio Chella,
Giorgio Clemente,
Enrico Pagello,
Maurizio Piaggio:
ART99 - Azzurra Robot Team.
RoboCup 1999: 695-698 |
| 47 | EE | Stefano Trisolini,
Maurizio Lenzerini,
Daniele Nardi:
Data Integration and Warehousing in Telecom Italia.
SIGMOD Conference 1999: 538-539 |
| 46 | EE | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
Unifying Class-Based Representation Formalisms.
J. Artif. Intell. Res. (JAIR) 11: 199-240 (1999) |
| 45 | EE | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
A Theory and Implementation of Cognitive Mobile Robots.
J. Log. Comput. 9(5): 759-785 (1999) |
| 1998 |
|---|
| 44 | EE | Mattia De Rosa,
Tiziana Catarci,
Luca Iocchi,
Daniele Nardi,
Giuseppe Santucci:
Materializing the Web.
CoopIS 1998: 24-31 |
| 43 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support.
CoopIS 1998: 280-291 |
| 42 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Source Integration in Data Warehousing.
DEXA Workshop 1998: 192-197 |
| 41 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Description Logic Framework for Information Integration.
KR 1998: 2-13 |
| 40 | EE | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
Description Logics for Conceptual Data Modeling.
Logics for Databases and Information Systems 1998: 229-263 |
| 39 | EE | Tiziana Catarci,
Luca Iocchi,
Daniele Nardi,
Giuseppe Santucci:
Accessing the Web: exploiting the DB paradigm.
OM 1998 |
| 38 | EE | Daniele Nardi,
Giorgio Clemente,
Enrico Pagello:
ART - Azzurra Robot Team.
RoboCup 1998: 458-463 |
| 37 | | Mattia De Rosa,
Luca Iocchi,
Daniele Nardi:
Knowledge representation techniques for information extraction on the Web.
WebNet 1998 |
| 36 | EE | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Andrea Schaerf:
An Epistemic Operator for Description Logics.
Artif. Intell. 100(1-2): 225-274 (1998) |
| 35 | | Tiziana Catarci,
Daniele Nardi,
Giuseppe Santucci,
Shi-Kuo Chang:
WAG: Web-at-a-Glance.
Int. J. Cooperative Inf. Syst. 7(2-3): 187-214 (1998) |
| 34 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
AL-log: Integrating Datalog and Description Logics.
J. Intell. Inf. Syst. 10(3): 227-252 (1998) |
| 1997 |
|---|
| 33 | EE | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Description Logic-baqsed Framrwork for Planning with Sensing Actions.
Description Logics 1997 |
| 32 | | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Planning with Sensing for a Mobile Robot.
ECP 1997: 156-168 |
| 31 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Autoepistemic Description Logics.
IJCAI (1) 1997: 136-141 |
| 30 | EE | Tiziana Catarci,
Luca Iocchi,
Daniele Nardi,
Giuseppe Santucci:
Conceptual Views over the Web.
KRDB 1997: 3.1-3.6 |
| 29 | | Luca Iocchi,
Daniele Nardi:
Information Access in the Web.
WebNet 1997 |
| 28 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
The Complexity of Concept Languages.
Inf. Comput. 134(1): 1-58 (1997) |
| 27 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Ground Nonmonotonic Modal Logics.
J. Log. Comput. 7(4): 523-548 (1997) |
| 1996 |
|---|
| 26 | | Francesco M. Donini,
Fabio Massacci,
Daniele Nardi,
Riccardo Rosati:
A Uniform Tableaux Method for Nonmonotonic Modal Logics.
JELIA 1996: 87-103 |
| 25 | | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Moving a Robot: The KR&R Approach at Work.
KR 1996: 198-209 |
| 1995 |
|---|
| 24 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Non-first-order features in concept languages.
AI*IA 1995: 91-102 |
| 23 | | Daniele Nardi,
Riccardo Rosati:
A Preference Semantics for Ground Nonmonotonic Modal Logics.
EPIA 1995: 223-235 |
| 22 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Ground Nonmonotonic Modal Logics for Knowledge Representation.
WOCFAI 1995: 133-144 |
| 1994 |
|---|
| 21 | | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
A Unified Framework for Class-Based Representation Formalisms.
KR 1994: 109-120 |
| 20 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
Deduction in Concept Languages: From Subsumption to Instance Checking.
J. Log. Comput. 4(4): 423-452 (1994) |
| 1992 |
|---|
| 19 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Andrea Schaerf:
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.
ECAI Workshop on Knowledge Representation and Reasoning 1992: 113-132 |
| 18 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf,
Werner Nutt:
Adding Epistemic Operators to Concept Languages.
KR 1992: 342-353 |
| 17 | | Daniele Nardi,
Riccardo Rosati:
Deductive Synthesis of Programs for Query Answering.
LOPSTR 1992: 15-29 |
| 16 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Bernhard Hollunder,
Werner Nutt,
Alberto Marchetti-Spaccamela:
The Complexity of Existential Quantification in Concept Languages.
Artif. Intell. 53(2-3): 309-327 (1992) |
| 1991 |
|---|
| 15 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
A Hybrid System with Datalog and Concept Languages.
AI*IA 1991: 88-97 |
| 14 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
Tractable Concept Languages.
Description Logics 1991: 39-42 |
| 13 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
The Complexity of Concept Languages (Extended Abstract).
Description Logics 1991: 87-90 |
| 12 | | Luigia Carlucci Aiello,
Maria Cialdea,
Daniele Nardi:
Reasoning about Student Knowledge and Reasoning.
IJCAI 1991: 1087-1093 |
| 11 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
Tractable Concept Languages.
IJCAI 1991: 458-465 |
| 10 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
The Complexity of Concept Languages.
KR 1991: 151-162 |
| 9 | | Luigia Carlucci Aiello,
Daniele Nardi,
Marco Schaerf:
Reasoning about Knowledge: The Meta-Level Approach.
SCAI 1991: 4-18 |
| 8 | | Luigia Carlucci Aiello,
Daniele Nardi:
Perspectives in knowledge representation.
Applied Artificial Intelligence 5(1): 29-44 (1991) |
| 1990 |
|---|
| 7 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi:
An Efficient Method for Hybrid Deduction.
ECAI 1990: 246-252 |
| 6 | | Daniele Nardi,
Marco Tucci:
Building Tools for software engineering with artificial intelligence techniques.
Applied Artificial Intelligence 4(4): 283-307 (1990) |
| 1989 |
|---|
| 5 | | Daniele Nardi,
Marco Tucci:
An Application of the Event Calculus for Representing the History of a Software Project.
ESEC 1989: 176-190 |
| 4 | | Daniele Nardi:
Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method.
J. Log. Program. 7(1): 1-43 (1989) |
| 1988 |
|---|
| 3 | | Maurizio Lenzerini,
Daniele Nardi:
Belief Revision as Meta-Reasoning.
ECAI 1988: 577-579 |
| 2 | | Luigia Carlucci Aiello,
Daniele Nardi,
Marco Schaerf:
Reasoning About Knowledge and Ignorance.
FGCS 1988: 618-627 |
| 1 | | Luigia Carlucci Aiello,
Daniele Nardi,
Marco Schaerf:
Yet Another Solution to the Three Wisemen Puzzle.
ISMIS 1988: 398-407 |
