| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Daniele Nardi 59 Francesco M. Donini , Daniele Nardi, Riccardo Rosati : Description logics of minimal knowledge and negation as failure. TOCL 3 (2): 177-225 (2002) 58 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi: Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001 : 1581-1634 57 Maurizio Lenzerini , Daniele Nardi, Werner Nutt , Dan Suciu : Preface. KRDB 2001 56 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. KRDB 2001 55 Claudio Castelpietra , A. Guidotti , Luca Iocchi , Daniele Nardi, Riccardo Rosati : Design and Implementation of Cognitive Soccer Robots. RoboCup 2001 : 312-318 54 Luca Iocchi , Daniele Baldassari , Flavio Cappelli , Alessandro Farinelli , Giorgio Grisetti , Floris Maathuis , Daniele Nardi: S.P.Q.R. Wheeled Team. RoboCup 2001 : 669-672 53 Daniele Nardi, V. Bonifaci , Claudio Castelpietra , U. Di Iorio , A. Guidotti , Luca Iocchi , Massimiliano Salerno , F. Zonfrilli : S.P.Q.R. Legged Team. RoboCup 2001 : 717-720 52 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi, Riccardo Rosati : Data Integration in Data Warehousing. IJCIS 10 (3): 237-271 (2001) 51 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) 50 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 49 Luca Iocchi , Daniele Nardi, Riccardo Rosati : Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000 : 678-689 48 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 47 Daniele Nardi, Claudio Castelpietra , A. Guidotti , Massimiliano Salerno , C. Sanitati : S.P.Q.R. RoboCup 2000 : 635-638 46 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 45 Daniele Nardi, Riccardo Rosati : Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999 : 1-12 44 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 43 Luca Iocchi , Daniele Nardi: Self-Localization in the RoboCup Environment. RoboCup 1999 : 318-330 42 Daniele Nardi, Giovanni Adorni , Andrea Bonarini , Antonio Chella , Giorgio Clemente , Enrico Pagello , Maurizio Piaggio : ART99 - Azzurra Robot Team. RoboCup 1999 : 695-698 41 Stefano Trisolini , Maurizio Lenzerini , Daniele Nardi: Data Integration and Warehousing in Telecom Italia. SIGMOD Conference 1999 : 538-539 40 Diego Calvanese , Maurizio Lenzerini , Daniele Nardi: Unifying Class-Based Representation Formalisms. JAIR 11 : 199-240 (1999) 39 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi, Riccardo Rosati : A Theory and Implementation of Cognitive Mobile Robots. Journal of Logic and Computation 9 (5): 759-785 (1999) 38 M. De Rosa , Tiziana Catarci , Luca Iocchi , Daniele Nardi, Giuseppe Santucci : Materializing the Web. CoopIS 1998 : 24-31 37 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi, Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 36 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi, Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 35 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi, Riccardo Rosati : Description Logic Framework for Information Integration. KR 1998 : 2-13 34 Diego Calvanese , Maurizio Lenzerini , Daniele Nardi: Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998 : 229-263 33 Daniele Nardi, Giorgio Clemente , Enrico Pagello : ART - Azzurra Robot Team. RoboCup 1998 : 458-463 32 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Werner Nutt , Andrea Schaerf : An Epistemic Operator for Description Logics. Artificial Intelligence 100 (1-2): 225-274 (1998) 31 Tiziana Catarci , Daniele Nardi, Giuseppe Santucci , Shi-Kuo Chang : WAG: Web-at-a-Glance. IJCIS 7 (2-3): 187-214 (1998) 30 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Andrea Schaerf : AL-log: Integrating Datalog and Description Logics. JIIS 10 (3): 227-252 (1998) 29 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi, Riccardo Rosati : Planning with Sensing for a Mobile Robot. ECP 1997 : 156-168 28 Francesco M. Donini , Daniele Nardi, Riccardo Rosati : Autoepistemic Description Logics. IJCAI (1) 1997 : 136-141 27 Tiziana Catarci , Luca Iocchi , Daniele Nardi, Giuseppe Santucci : Conceptual Views over the Web. KRDB 1997 : 3.1-3.6 26 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Werner Nutt : The Complexity of Concept Languages. Information and Computation 134 (1): 1-58 (1997) 25 Francesco M. Donini , Daniele Nardi, Riccardo Rosati : Ground Nonmonotonic Modal Logics. Journal of Logic and Computation 7 (4): 523-548 (1997) 24 Francesco M. Donini , Fabio Massacci , Daniele Nardi, Riccardo Rosati : A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996 : 87-103 23 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi, Riccardo Rosati : Moving a Robot: The KR&R Approach at Work. KR 1996 : 198-209 22 Francesco M. Donini , Daniele Nardi, Riccardo Rosati : Non-first-order features in concept languages. AI*IA 1995 : 91-102 21 Daniele Nardi, Riccardo Rosati : A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995 : 223-235 20 Francesco M. Donini , Daniele Nardi, Riccardo Rosati : Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995 : 133-144 19 Diego Calvanese , Maurizio Lenzerini , Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994 : 109-120 18 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Andrea Schaerf : Deduction in Concept Languages: From Subsumption to Instance Checking. Journal of Logic and Computation 4 (4): 423-452 (1994) 17 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 16 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Andrea Schaerf , Werner Nutt : Adding Epistemic Operators to Concept Languages. KR 1992 : 342-353 15 Daniele Nardi, Riccardo Rosati : Deductive Synthesis of Programs for Query Answering. LOPSTR 1992 : 15-29 14 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Bernhard Hollunder , Werner Nutt , Alberto Marchetti-Spaccamela : The Complexity of Existential Quantification in Concept Languages. Artificial Intelligence 53 (2-3): 309-327 (1992) 13 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Andrea Schaerf : A Hybrid System with Datalog and Concept Languages. AI*IA 1991 : 88-97 12 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Werner Nutt : Tractable Concept Languages. Description Logics 1991 : 39-42 11 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Werner Nutt : The Complexity of Concept Languages (Extended Abstract). Description Logics 1991 : 87-90 10 Luigia Carlucci Aiello , Maria Cialdea , Daniele Nardi: Reasoning about Student Knowledge and Reasoning. IJCAI 1991 : 1087-1093 9 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Werner Nutt : Tractable Concept Languages. IJCAI 1991 : 458-465 8 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi, Werner Nutt : The Complexity of Concept Languages. KR 1991 : 151-162 7 Luigia Carlucci Aiello , Daniele Nardi, Marco Schaerf : Reasoning about Knowledge: The Meta-Level Approach. SCAI 1991 : 4-18 6 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi: An Efficient Method for Hybrid Deduction. ECAI 1990 : 246-252 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. JLP 7 (1): 1-43 (1989) 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  DiSC'02 © 2003 Association for Computing Machinery |
