Daniele Nardi Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
112no 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
111Electronic 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)
110Electronic 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
109Electronic 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
108Electronic 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
107Electronic 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
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, S. 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
74no EE 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi: Self-Localization in the RoboCup Environment. RoboCup 1999: 318-330
49no EE 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)
35no EE 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
33no EE 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
29no EE 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)
28no EE 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
25no EE 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
24no EE 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
21no EE 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
20no EE 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
17no EE 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
16no EE 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)
8no EE 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
6no EE 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
4no EE 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] [110]
13Diego Calvanese [22] [41] [42] [43] [44] [47] [52] [62] [63] [78] [91]
14Ciprian Candea [61]
15Flavio Cappelli [65]
16Sergio Lo Cascio [75]
17Claudio Castelpietra [54] [55] [64] [66]
18Tiziana Catarci [31] [36] [40] [45]
19Andrea Censi [106]
20S. La Cesa [98]
21Amedeo Cesta [79]
22Shi-Kuo Chang [36]
23Antonio Chella [49] [90]
24Howie Choset [104]
25Maria Cialdea [13]
26Giorgio Clemente [39] [49] [56]
27Hugo Costelha [107] [108]
28Fabio Cottefoglie [81]
29Francesco M. Donini [7] [11] [12] [14] [15] [16] [17] [19] [20] [21] [23] [25] [27] [28] [29] [32] [35] [37] [71]
30Luigi Dragone [91]
31Aydan M. Erkmen [104]
32Alessandro Farinelli [65] [75] [80] [81] [85] [87] [92] [96] [98] [99] [101] [102] [109]
33Paolo Fiorini [104]
34Giuseppe De Giacomo [26] [33] [34] [42] [43] [44] [46] [52] [62] [63]
35Giorgio Grisetti [65] [72] [75] [79] [94] [95] [102]
36A. Guidotti [55] [64] [66]
37Bernhard Hollunder [17]
38Huosheng Hu [61]
39Alberto Ingenito [99]
40Luca 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] [107] [108] [111]
41Ugo Di Iorio [64]
42Adam Jacoff [76] [104]
43Alexander Kleiner [100]
44Maurizio 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]
45G. R. Leone [86] [97]
46Riccardo Leone [79]
47Pedro U. Lima [105] [107]
48Thomas Lukasiewicz [82] [83] [111]
49Floris Maathuis [65]
50Irene Macaluso [90]
51Alberto Marchetti-Spaccamela [17]
52Fabio Massacci [27]
53Domenico Mastrantuono [68]
54Deborah L. McGuinness [78]
55Robin R. Murphy [104]
56Bernhard Nebel [100]
57Werner Nutt [11] [12] [14] [15] [17] [19] [20] [29] [37] [60] [67] [69]
58Angelo Oddi [79]
59Giuseppe Oriolo [73]
60Enrico Pagello [39] [49] [56]
61Pier Francesco Palamara [105] [107] [108]
62Peter F. Patel-Schneider [78]
63Fabio Patrizi [85]
64Federico Pecora [79]
65S. Pellegrini [102]
66Maurizio Piaggio [49] [54] [56] [61] [74]
67Roberta Pigliacampo [112]
68Giuliano Polverari [92]
69Riccardo Rasconi [79]
70Martin A. Riedmiller (Martin Riedmiller) [76] [89]
71Mattia De Rosa [38] [45]
72Riccardo 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] [111]
73Massimiliano Salerno [55] [59] [64]
74Claude Sammut [76] [89]
75C. Sanitati [55]
76José Santos-Victor [89]
77Giuseppe Santucci [31] [36] [40] [45]
78M. Sbarigia [98]
79Alessandro Scalzo [54]
80Carlo Matteo Scalzo [103]
81Paul Scerri [99] [109]
82Andrea Schaerf [16] [19] [20] [21] [35] [37]
83Marco Schaerf [1] [2] [9] [10]
84L. Scozzafava [86] [97]
85Giuseppe Paolo Settembre [88] [109] [112]
86Antonio Sgorbissa [54] [74]
87Elizabeth Sklar (Elizabeth Sklar Rozier) [76]
88Cyrill Stachniss [94] [95]
89Dan Suciu [60] [67] [69]
90Katia P. Sycara (Katia Sycara-Cyranski) [109]
91Satoshi Tadokoro [104]
92D. Tipaldi [102]
93Gian Diego Tipaldi [94] [95] [101]
94Stefano Trisolini [48] [91]
95Marco Tucci [5] [6]
96Manuela M. Veloso [76]
97Marco Zaratti [98]
98Vittorio A. Ziparo [87] [100] [102] [103] [105] [107] [108]
99Fabio Zonfrilli [64] [73]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)