Daniele Nardi Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Farinelli, Daniele Nardi, Roberta Pigliacampo, Mirco Rossi, Giuseppe Paolo Settembre: Cooperative situation assessment in a maritime scenario. Int. J. Intell. Syst. 27(5): 477-501 (2012)
2011
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea D'Agostini, Daniele Calisi, Alberto Leo, Francesco Fedi, Luca Iocchi, Daniele Nardi: Experimental evaluation of teamwork in many-robot systems. AAMAS 2011: 1327-1328
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Randelli, Matteo Venanzi, Daniele Nardi: Tangible interfaces for robot teleoperation. HRI 2011: 231-232
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Luca Marchetti, Daniele Nardi: Multi-robot patrolling with coordinated behaviours in realistic environments. IROS 2011: 2796-2801
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVittorio A. Ziparo, Luca Iocchi, Pedro U. Lima, Daniele Nardi, Pier Francesco Palamara: Petri Net Plans - A framework for collaboration and coordination in multi-robot systems. Autonomous Agents and Multi-Agent Systems 23(3): 344-383 (2011)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Maurizio Lenzerini, Daniele Nardi: Unifying Class-Based Representation Formalisms CoRR abs/1105.5452: (2011)
2010
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVittorio A. Ziparo, Luca Iocchi, Matteo Leonetti, Daniele Nardi: On-line robot execution monitoring using probabilistic action duration. AAMAS 2010: 1521-1522
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi: Robotic Agents for Disaster Response Robotics. ICAPS 2010: 270
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVittorio A. Ziparo, Luca Iocchi, Matteo Leonetti, Daniele Nardi: A probabilistic action duration model for plan selection and monitoring. IROS 2010: 4716-4721
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Nora S. Newcombe, Thomas F. Shipley: The Role of Slope in Human Reorientation. Spatial Cognition 2010: 32-40
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Randelli, Daniele Nardi: Introducing ontology best practices and design patterns into robotics: USAREnv. WoMO 2010: 67-80
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Cherubini, Francesca Giannone, Luca Iocchi, Daniele Nardi, Pier Francesco Palamara: Policy gradient learning for quadruped soccer robots. Robotics and Autonomous Systems 58(7): 872-878 (2010)
2009
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Paolo Settembre, Daniele Nardi, Roberta Pigliacampo: Agent Approach to Situation Assessment. ICAART 2009: 287-290
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Maria Delle Fave, Stefano Canu, Luca Iocchi, Daniele Nardi, Vittorio Amos Ziparo: Multi-objective multi-robot surveillance. ICARA 2009: 68-73
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Comput. Log. 10(1): (2009)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatoshi Tadokoro, Fumitoshi Matsuno, Daniele Nardi, Adam Jacoff: Preface. Advanced Robotics 23(9): 1023-1024 (2009)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Calisi, Luca Iocchi, Daniele Nardi, Gabriele Randelli, Vittorio A. Ziparo: Improving Search and Rescue Using Contextual Information. Advanced Robotics 23(9): 1199-1216 (2009)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Calisi, Daniele Nardi: Performance evaluation of pure-motion tasks for mobile robots with respect to world models. Auton. Robots 27(4): 465-481 (2009)
2008
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Paolo Settembre, Paul Scerri, Alessandro Farinelli, Katia P. Sycara, Daniele Nardi: A decentralized approach to cooperative situation assessment in multi-robot systems. AAMAS (1) 2008: 31-38
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pier Francesco Palamara, Hugo Costelha: Petri net plans: a formal model for representation and execution of multi-robot plans. AAMAS (1) 2008: 79-86
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Francesco Palamara, Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pedro U. Lima, Hugo Costelha: A robotic soccer passing task using petri net plans. AAMAS (Demos) 2008: 1711-1712
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Pellegrini, Konrad Schindler, Daniele Nardi: A Generalisation of the ICP Algorithm for Articulated Bodies. BMVC 2008
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Calisi, Andrea Censi, Luca Iocchi, Daniele Nardi: OpenRDK: A modular framework for robotic software development. IROS 2008: 1872-1877
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Francesco Palamara, Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pedro U. Lima: Teamwork Design Based on Petri Net Plans. RoboCup 2008: 200-211
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobin R. Murphy, Satoshi Tadokoro, Daniele Nardi, Adam Jacoff, Paolo Fiorini, Howie Choset, Aydan M. Erkmen: Search and Rescue Robotics. Springer Handbook of Robotics 2008: 1151-1173
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Calisi, Luca Iocchi, Daniele Nardi, Carlo Matteo Scalzo, Vittorio A. Ziparo: Context-based design of robotic systems. Robotics and Autonomous Systems 56(11): 992-1003 (2008)
2007
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Calisi, Alessandro Farinelli, Giorgio Grisetti, Luca Iocchi, Daniele Nardi, Stefano Pellegrini, D. Tipaldi, Vittorio A. Ziparo: Uses of Contextual Knowledge in Mobile Robots. AI*IA 2007: 543-554
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Diego Tipaldi, Alessandro Farinelli, Luca Iocchi, Daniele Nardi: Heterogeneous Feature State Estimation with Rao-Blackwellized Particle Filters. ICRA 2007: 3850-3855
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVittorio A. Ziparo, Alexander Kleiner, Bernhard Nebel, Daniele Nardi: RFID-Based Exploration for Large Robot Teams. ICRA 2007: 4606-4613
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito: Dealing with Perception Errors in Multi-Robot System Coordination. IJCAI 2007: 2091-2096
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. La Cesa, Alessandro Farinelli, Luca Iocchi, Daniele Nardi, M. Sbarigia, Marco Zaratti: Semi-autonomous Coordinated Exploration in Rescue Scenarios. RoboCup 2007: 286-293
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram 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)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Calisi, Alessandro Farinelli, Luca Iocchi, Daniele Nardi: Multi-objective exploration and search for autonomous rescue robots. J. Field Robotics 24(8-9): 763-777 (2007)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio 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
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Grisetti, Gian Diego Tipaldi, Cyrill Stachniss, Wolfram Burgard, Daniele Nardi: Speeding-up Rao-blackwellized SLAM. ICRA 2006: 442-447
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Luca Iocchi: Artificial Intelligence in RoboCup. Reasoning, Action and Interaction in AI Theories and Systems 2006: 193-211
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliano Polverari, Daniele Calisi, Alessandro Farinelli, Daniele Nardi: Development of an Autonomous Rescue Robot Within the USARSim 3D Virtual Environment. RoboCup 2006: 491-498
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini: Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. 31(1): 1-32 (2006)
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Chella, Luca Iocchi, Irene Macaluso, Daniele Nardi: Artificial Intelligence and Robotics. Intelligenza Artificiale 3(1-2): 87-93 (2006)
2005
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Martin Riedmiller, Claude Sammut, José Santos-Victor: RoboCup 2004: Robot Soccer World Cup VIII Springer 2005
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram Bahadori, Luca Iocchi, Daniele Nardi, Giuseppe Paolo Settembre: Stereo vision based human body detection from a localized mobile robot. AVSS 2005: 499-504
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram 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
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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)
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi, Riccardo Rosati: Generation of Strong Cyclic Plans with Incomplete Information and Sensing. Intelligenza Artificiale 2(4): 58-65 (2005)
2004
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004: 818-822
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR 2004: 240-248
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Cottefoglie, Alessandro Farinelli, Luca Iocchi, Daniele Nardi: Dynamic token generation for constrained tasks in a multi-robot system. SMC (1) 2004: 911-917
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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)
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram 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
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 2003
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Ronald J. Brachman: An Introduction to Description Logics. Description Logic Handbook 2003: 1-40
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Farinelli, Giorgio Grisetti, Luca Iocchi, Sergio Lo Cascio, Daniele Nardi: RoboCup Rescue Simulation: Methodologies Tools and Evaluation for Practical Applications. RoboCup 2003: 645-653
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi, Maurizio Piaggio, Antonio Sgorbissa: Distributed Coordination in Heterogeneous Multi-Robot Systems. Auton. Robots 15(2): 155-168 (2003)
2002
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Zonfrilli, Giuseppe Oriolo, Daniele Nardi: A Biped Locomotion Strategy for the Quadruped Robot Sony ERS-210. ICRA 2002: 2768-2774
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Grisetti, Luca Iocchi, Daniele Nardi: Global Hough Localization for Mobile Robots in Polygonal Environments. ICRA 2002: 353-358
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi: Hough Localization for mobile robots in polygonal environments. Robotics and Autonomous Systems 40(1): 43-58 (2002)
2001
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio 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
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Domenico Mastrantuono, Daniele Nardi: A Probabilistic approach to Hough Localization. ICRA 2001: 4250-4255
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu: Preface. KRDB 2001
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Design and Implementation of Cognitive Soccer Robots. RoboCup 2001: 312-318
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Baldassari, Flavio Cappelli, Alessandro Farinelli, Giorgio Grisetti, Floris Maathuis, Daniele Nardi: S.P.Q.R. Wheeled Team. RoboCup 2001: 669-672
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele 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
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi: Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCiprian 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)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi: Artificial Intelligence in RoboCup. ECAI 2000: 756-762
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Adorni, Andrea Bonarini, Giorgio Clemente, Daniele Nardi, Enrico Pagello, Maurizio Piaggio: ART'00 - Azzurra Robot Team for the Year 2000. RoboCup 2000: 559-562
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Claudio Castelpietra, A. Guidotti, Massimiliano Salerno, C. Sanitati: S.P.Q.R. RoboCup 2000: 635-638
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Riccardo Rosati: Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999: 1-12
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi: Design and Implementation of Robotic Soccer Behaviors: A User Viewpoint. IIA/SOCO 1999
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi: Self-Localization in the RoboCup Environment. RoboCup 1999: 318-330
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Giovanni Adorni, Andrea Bonarini, Antonio Chella, Giorgio Clemente, Enrico Pagello, Maurizio Piaggio: ART99 - Azzurra Robot Team. RoboCup 1999: 695-698
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Trisolini, Maurizio Lenzerini, Daniele Nardi: Data Integration and Warehousing in Telecom Italia. SIGMOD Conference 1999: 538-539
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Maurizio Lenzerini, Daniele Nardi: Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. (JAIR) 11: 199-240 (1999)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMattia De Rosa, Tiziana Catarci, Luca Iocchi, Daniele Nardi, Giuseppe Santucci: Materializing the Web. CoopIS 1998: 24-31
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Maurizio Lenzerini, Daniele Nardi: Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998: 229-263
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Catarci, Luca Iocchi, Daniele Nardi, Giuseppe Santucci: Accessing the Web: exploiting the DB paradigm. OM 1998
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Giorgio Clemente, Enrico Pagello: ART - Azzurra Robot Team. RoboCup 1998: 458-463
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMattia De Rosa, Luca Iocchi, Daniele Nardi: Knowledge representation techniques for information extraction on the Web. WebNet 1998
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Catarci, Daniele Nardi, Giuseppe Santucci, Shi-Kuo Chang: WAG: Web-at-a-Glance. Int. J. Cooperative Inf. Syst. 7(2-3): 187-214 (1998)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997: 156-168
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Catarci, Luca Iocchi, Daniele Nardi, Giuseppe Santucci: Conceptual Views over the Web. KRDB 1997: 3.1-3.6
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi: Information Access in the Web. WebNet 1997
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997)
1996
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209
1995
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995: 223-235
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144
1994
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Maurizio Lenzerini, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Riccardo Rosati: Deductive Synthesis of Programs for Query Answering. LOPSTR 1992: 15-29
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. Description Logics 1991: 39-42
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Maria Cialdea, Daniele Nardi: Reasoning about Student Knowledge and Reasoning. IJCAI 1991: 1087-1093
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about Knowledge: The Meta-Level Approach. SCAI 1991: 4-18
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about reasoning in a meta-level architecture. Appl. Intell. 1(1): 55-67 (1991)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Daniele Nardi: Perspectives in knowledge representation. Applied Artificial Intelligence 5(1): 29-44 (1991)
1990
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi: An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Marco Tucci: Building Tools for software engineering with artificial intelligence techniques. Applied Artificial Intelligence 4(4): 283-307 (1990)
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Marco Tucci: An Application of the Event Calculus for Representing the History of a Software Project. ESEC 1989: 176-190
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi: Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method. J. Log. Program. 7(1): 1-43 (1989)
1988
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Lenzerini, Daniele Nardi: Belief Revision as Meta-Reasoning. ECAI 1988: 577-579
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning About Knowledge and Ignorance. FGCS 1988: 618-627
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Yet Another Solution to the Three Wisemen Puzzle. ISMIS 1988: 398-407

Coauthor Index

1Giovanni Adorni [49] [56]
2Luigia Carlucci Aiello (Luigia Aiello) [1] [2] [8] [9] [10] [13]
3Minoru Asada [76]
4Franz Baader [78]
5Shahram Bahadori [79] [86] [88] [97]
6Daniele Baldassari [65]
7Andrea Bonarini [49] [56] [76]
8Vincenzo Bonifaci [64]
9Ronald J. Brachman (Ron Brachman) [77]
10Wolfram Burgard [94] [95]
11Hans-Dieter Burkhard [76]
12Daniele Calisi [92] [96] [102] [103] [106] [111] [112] [127]
13Diego Calvanese [22] [41] [42] [43] [44] [47] [52] [62] [63] [78] [91] [123]
14Ciprian Candea [61]
15Stefano Canu [115]
16Flavio Cappelli [65]
17Sergio Lo Cascio [75]
18Claudio Castelpietra [54] [55] [64] [66]
19Tiziana Catarci [31] [36] [40] [45]
20Andrea Censi [106]
21S. La Cesa [98]
22Amedeo Cesta [79]
23Shi-Kuo Chang [36]
24Antonio Chella [49] [90]
25Andrea Cherubini [117]
26Howie Choset [104]
27Maria Cialdea [13]
28Giorgio Clemente [39] [49] [56]
29Hugo Costelha [108] [109]
30Fabio Cottefoglie [81]
31Andrea D'Agostini [127]
32Francesco M. Donini [7] [11] [12] [14] [15] [16] [17] [19] [20] [21] [23] [25] [27] [28] [29] [32] [35] [37] [71]
33Luigi Dragone [91]
34Aydan M. Erkmen [104]
35Alessandro Farinelli [65] [75] [80] [81] [85] [87] [92] [96] [98] [99] [101] [102] [110] [128]
36Francesco Maria Delle Fave [115]
37Francesco Fedi [127]
38Paolo Fiorini [104]
39Giuseppe De Giacomo [26] [33] [34] [42] [43] [44] [46] [52] [62] [63]
40Francesca Giannone [117]
41Giorgio Grisetti [65] [72] [75] [79] [94] [95] [102]
42A. Guidotti [55] [64] [66]
43Bernhard Hollunder [17]
44Huosheng Hu [61]
45Alberto Ingenito [99]
46Luca Iocchi [26] [30] [31] [33] [34] [38] [40] [45] [46] [50] [51] [54] [57] [59] [61] [64] [65] [66] [68] [70] [72] [74] [75] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [90] [93] [96] [97] [98] [101] [102] [103] [105] [106] [108] [109] [112] [114] [115] [117] [120] [122] [124] [125] [127]
47Ugo Di Iorio [64]
48Adam Jacoff [76] [104] [113]
49Alexander Kleiner [100]
50Maurizio Lenzerini [3] [7] [11] [12] [14] [15] [16] [17] [19] [20] [21] [22] [29] [35] [37] [41] [42] [43] [44] [47] [48] [52] [60] [62] [63] [67] [69] [123]
51Alberto Leo [127]
52G. R. Leone [86] [97]
53Riccardo Leone [79]
54Matteo Leonetti [120] [122]
55Pedro U. Lima [105] [108] [124]
56Thomas Lukasiewicz [82] [83] [114]
57Floris Maathuis [65]
58Irene Macaluso [90]
59Luca Marchetti [125]
60Alberto Marchetti-Spaccamela [17]
61Fabio Massacci [27]
62Domenico Mastrantuono [68]
63Fumitoshi Matsuno [113]
64Deborah L. McGuinness [78]
65Robin R. Murphy [104]
66Bernhard Nebel [100]
67Nora S. Newcombe [119]
68Werner Nutt [11] [12] [14] [15] [17] [19] [20] [29] [37] [60] [67] [69]
69Angelo Oddi [79]
70Giuseppe Oriolo [73]
71Enrico Pagello [39] [49] [56]
72Pier Francesco Palamara [105] [108] [109] [117] [124]
73Peter F. Patel-Schneider [78]
74Fabio Patrizi [85]
75Federico Pecora [79]
76Stefano Pellegrini [102] [107]
77Maurizio Piaggio [49] [54] [56] [61] [74]
78Roberta Pigliacampo [116] [128]
79Giuliano Polverari [92]
80Gabriele Randelli [112] [118] [126]
81Riccardo Rasconi [79]
82Martin A. Riedmiller (Martin Riedmiller) [76] [89]
83Mattia De Rosa [38] [45]
84Riccardo Rosati [18] [23] [24] [25] [26] [27] [28] [32] [33] [34] [42] [43] [44] [46] [52] [53] [57] [62] [66] [71] [82] [83] [84] [91] [114]
85Mirco Rossi [128]
86Massimiliano Salerno [55] [59] [64]
87Claude Sammut [76] [89]
88C. Sanitati [55]
89José Santos-Victor [89]
90Giuseppe Santucci [31] [36] [40] [45]
91M. Sbarigia [98]
92Alessandro Scalzo [54]
93Carlo Matteo Scalzo [103]
94Paul Scerri [99] [110]
95Andrea Schaerf [16] [19] [20] [21] [35] [37]
96Marco Schaerf [1] [2] [9] [10]
97Konrad Schindler [107]
98L. Scozzafava [86] [97]
99Giuseppe Paolo Settembre [88] [110] [116] [128]
100Antonio Sgorbissa [54] [74]
101Thomas F. Shipley [119]
102Elizabeth Sklar (Elizabeth Sklar Rozier) [76]
103Cyrill Stachniss [94] [95]
104Dan Suciu [60] [67] [69]
105Katia P. Sycara (Katia Sycara-Cyranski) [110]
106Satoshi Tadokoro [104] [113]
107D. Tipaldi [102]
108Gian Diego Tipaldi [94] [95] [101]
109Stefano Trisolini [48] [91]
110Marco Tucci [5] [6]
111Manuela M. Veloso [76]
112Matteo Venanzi [126]
113Marco Zaratti [98]
114Vittorio A. Ziparo (Vittorio Amos Ziparo) [87] [100] [102] [103] [105] [108] [109] [112] [115] [120] [122] [124]
115Fabio Zonfrilli [64] [73]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page