- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j39 |      | Alessandro 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 | ||
| j38 | | Vittorio 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) |
| c91 | | Andrea D'Agostini, Daniele Calisi, Alberto Leo, Francesco Fedi, Luca Iocchi, Daniele Nardi: Experimental evaluation of teamwork in many-robot systems. AAMAS 2011: 1327-1328 |
| c90 | | Gabriele Randelli, Matteo Venanzi, Daniele Nardi: Tangible interfaces for robot teleoperation. HRI 2011: 231-232 |
| c89 | | Luca Iocchi, Luca Marchetti, Daniele Nardi: Multi-robot patrolling with coordinated behaviours in realistic environments. IROS 2011: 2796-2801 |
| c88 | | Gabriele Randelli, Matteo Venanzi, Daniele Nardi: Evaluating tangible paradigms for ground robot teleoperation. RO-MAN 2011: 389-394 |
| c87 | | Feng Xue, Xiaoping Chen, Jinsu Liu, Daniele Nardi: Real Time Biped Walking Gait Pattern Generator for a Real Robot. RoboCup 2011: 210-221 |
| i1 | | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: Unifying Class-Based Representation Formalisms. CoRR abs/1105.5452 (2011) |
| 2010 | ||
| j37 | | Andrea 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) |
| c86 | | |
| c85 | | Vittorio A. Ziparo, Luca Iocchi, Matteo Leonetti, Daniele Nardi: On-line robot execution monitoring using probabilistic action duration. AAMAS 2010: 1521-1522 |
| c84 | | Vittorio A. Ziparo, Luca Iocchi, Matteo Leonetti, Daniele Nardi: A probabilistic action duration model for plan selection and monitoring. IROS 2010: 4716-4721 |
| c83 | | Daniele Nardi, Nora S. Newcombe, Thomas F. Shipley: The Role of Slope in Human Reorientation. Spatial Cognition 2010: 32-40 |
| c82 | | Gabriele Randelli, Daniele Nardi: Introducing ontology best practices and design patterns into robotics: USAREnv. WoMO 2010: 67-80 |
| 2009 | ||
| j36 | | Satoshi Tadokoro, Fumitoshi Matsuno, Daniele Nardi, Adam Jacoff: Preface. Advanced Robotics 23(9): 1023-1024 (2009) |
| j35 | | Daniele Calisi, Luca Iocchi, Daniele Nardi, Gabriele Randelli, Vittorio A. Ziparo: Improving Search and Rescue Using Contextual Information. Advanced Robotics 23(9): 1199-1216 (2009) |
| j34 | | Daniele Calisi, Daniele Nardi: Performance evaluation of pure-motion tasks for mobile robots with respect to world models. Auton. Robots 27(4): 465-481 (2009) |
| j33 | | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Comput. Log. 10(1) (2009) |
| c81 |  | Giuseppe Paolo Settembre, Daniele Nardi, Roberta Pigliacampo: Agent Approach to Situation Assessment. ICAART 2009: 287-290 |
| c80 | | Francesco Maria Delle Fave, Stefano Canu, Luca Iocchi, Daniele Nardi, Vittorio Amos Ziparo: Multi-objective multi-robot surveillance. ICARA 2009: 68-73 |
| 2008 | ||
| j32 | | Daniele 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) |
| c79 | | Giuseppe 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 |
| c78 | | Vittorio 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 |
| c77 | | Pier 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 |
| c76 | | Stefano Pellegrini, Konrad Schindler, Daniele Nardi: A Generalisation of the ICP Algorithm for Articulated Bodies. BMVC 2008: 1-10 |
| c75 | | Daniele Calisi, Andrea Censi, Luca Iocchi, Daniele Nardi: OpenRDK: A modular framework for robotic software development. IROS 2008: 1872-1877 |
| c74 | | Alberto Valero-Gomez, Massimo Mecella, Fernando Matía, Daniele Nardi: Adaptative Human-Robot Interaction for mobile robots. RO-MAN 2008: 243-248 |
| c73 | | Pier Francesco Palamara, Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pedro U. Lima: Teamwork Design Based on Petri Net Plans. RoboCup 2008: 200-211 |
| p2 | | Robin 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 |
| 2007 | ||
| j31 | | 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) |
| j30 | | Daniele 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) |
| j29 | | 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) |
| c72 | | Daniele 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 |
| c71 | | Gian Diego Tipaldi, Alessandro Farinelli, Luca Iocchi, Daniele Nardi: Heterogeneous Feature State Estimation with Rao-Blackwellized Particle Filters. ICRA 2007: 3850-3855 |
| c70 | | Vittorio A. Ziparo, Alexander Kleiner, Bernhard Nebel, Daniele Nardi: RFID-Based Exploration for Large Robot Teams. ICRA 2007: 4606-4613 |
| c69 | | Alessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito: Dealing with Perception Errors in Multi-Robot System Coordination. IJCAI 2007: 2091-2096 |
| c68 | | S. La Cesa, Alessandro Farinelli, Luca Iocchi, Daniele Nardi, M. Sbarigia, Marco Zaratti: Semi-autonomous Coordinated Exploration in Rescue Scenarios. RoboCup 2007: 286-293 |
| 2006 | ||
| j28 | | Antonio Chella, Luca Iocchi, Irene Macaluso, Daniele Nardi: Artificial Intelligence and Robotics. Intelligenza Artificiale 3(1-2): 87-93 (2006) |
| j27 | | 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) |
| c67 | | Daniele Nardi, Luca Iocchi: Artificial Intelligence in RoboCup. Reasoning, Action and Interaction in AI Theories and Systems 2006: 193-211 |
| c66 | | Giorgio Grisetti, Gian Diego Tipaldi, Cyrill Stachniss, Wolfram Burgard, Daniele Nardi: Speeding-up Rao-blackwellized SLAM. ICRA 2006: 442-447 |
| c65 | | Giuliano Polverari, Daniele Calisi, Alessandro Farinelli, Daniele Nardi: Development of an Autonomous Rescue Robot Within the USARSim 3D Virtual Environment. RoboCup 2006: 491-498 |
| 2005 | ||
| j26 | | 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) |
| j25 | | Luca Iocchi, Daniele Nardi, Riccardo Rosati: Generation of Strong Cyclic Plans with Incomplete Information and Sensing. Intelligenza Artificiale 2(4): 58-65 (2005) |
| c64 | | Shahram Bahadori, Luca Iocchi, Daniele Nardi, Giuseppe Paolo Settembre: Stereo vision based human body detection from a localized mobile robot. AVSS 2005: 499-504 |
| c63 | | 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 |
| c62 | | 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 |
| e3 | | Daniele Nardi, Martin Riedmiller, Claude Sammut, José Santos-Victor (Eds.): RoboCup 2004: Robot Soccer World Cup VIII. Lecture Notes in Computer Science 3276, Springer 2005, isbn 3-540-25046-8 |
| 2004 | ||
| j24 | | 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) |
| j23 | | 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) |
| c61 | | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004: 818-822 |
| c60 | | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR 2004: 240-248 |
| c59 | | Fabio Cottefoglie, Alessandro Farinelli, Luca Iocchi, Daniele Nardi: Dynamic token generation for constrained tasks in a multi-robot system. SMC (1) 2004: 911-917 |
| 2003 | ||
| j22 | | Luca Iocchi, Daniele Nardi, Maurizio Piaggio, Antonio Sgorbissa: Distributed Coordination in Heterogeneous Multi-Robot Systems. Auton. Robots 15(2): 155-168 (2003) |
| c58 | | Daniele Nardi, Ronald J. Brachman: An Introduction to Description Logics. Description Logic Handbook 2003: 1-40 |
| c57 | | Alessandro Farinelli, Giorgio Grisetti, Luca Iocchi, Sergio Lo Cascio, Daniele Nardi: Design and evaluation of multi agent systems for rescue operations. IROS 2003: 3138-3143 |
| c56 | | 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 |
| c55 | | 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 |
| c54 | | Alessandro Farinelli, Luca Iocchi, Daniele Nardi: An analysis of coordination in Multi-Robot Systems. SMC 2003: 1487-1492 |
| e2 | | Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, isbn 0-521-78176-0 |
| 2002 | ||
| j21 | | Luca Iocchi, Daniele Nardi: Hough Localization for mobile robots in polygonal environments. Robotics and Autonomous Systems 40(1): 43-58 (2002) |
| j20 | | 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) |
| c53 | | Giorgio Grisetti, Luca Iocchi, Daniele Nardi: Global Hough Localization for Mobile Robots in Polygonal Environments. ICRA 2002: 353-358 |
| c52 | | Fabio Zonfrilli, Giuseppe Oriolo, Daniele Nardi: A Biped Locomotion Strategy for the Quadruped Robot Sony ERS-210. ICRA 2002: 2768-2774 |
| 2001 | ||
| j19 | | 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) |
| j18 | | 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) |
| j17 | | 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) |
| p1 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi: Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634 |
| c51 | | Luca Iocchi, Domenico Mastrantuono, Daniele Nardi: A Probabilistic approach to Hough Localization. ICRA 2001: 4250-4255 |
| c50 | | |
| c49 | | Claudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Design and Implementation of Cognitive Soccer Robots. RoboCup 2001: 312-318 |
| c48 | | Luca Iocchi, Daniele Baldassari, Flavio Cappelli, Alessandro Farinelli, Giorgio Grisetti, Floris Maathuis, Daniele Nardi: S.P.Q.R. Wheeled Team. RoboCup 2001: 669-672 |
| c47 | | 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 |
| e1 | | Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu (Eds.): Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001. CEUR Workshop Proceedings 45, CEUR-WS.org 2001 |
| 2000 | ||
| c46 | | |
| c45 | | 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 |
| c44 | | Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689 |
| c43 | | 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 |
| c42 | | 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 |
| c41 | | Daniele Nardi, Claudio Castelpietra, A. Guidotti, Massimiliano Salerno, C. Sanitati: S.P.Q.R. RoboCup 2000: 635-638 |
| 1999 | ||
| j16 | | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. (JAIR) 11: 199-240 (1999) |
| j15 | | 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) |
| c40 | | Daniele Nardi, Riccardo Rosati: Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999: 1-12 |
| c39 | | 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 |
| c38 | | Luca Iocchi, Daniele Nardi: Design and Implementation of Robotic Soccer Behaviors: A User Viewpoint. IIA/SOCO 1999 |
| c37 | | |
| c36 | | Daniele Nardi, Giovanni Adorni, Andrea Bonarini, Antonio Chella, Giorgio Clemente, Enrico Pagello, Maurizio Piaggio: ART99 - Azzurra Robot Team. RoboCup 1999: 695-698 |
| c35 | | Stefano Trisolini, Maurizio Lenzerini, Daniele Nardi: Data Integration and Warehousing in Telecom Italia. SIGMOD Conference 1999: 538-539 |
| 1998 | ||
| j14 | | 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) |
| j13 | | 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) |
| j12 | | 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) |
| c34 | | Mattia De Rosa, Tiziana Catarci, Luca Iocchi, Daniele Nardi, Giuseppe Santucci: Materializing the Web. CoopIS 1998: 24-31 |
| c33 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291 |
| c32 | | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998: 229-263 |
| c31 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197 |
| c30 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13 |
| c29 | | Tiziana Catarci, Luca Iocchi, Daniele Nardi, Giuseppe Santucci: Accessing the Web: exploiting the DB paradigm. OM 1998 |
| c28 | | |
| c27 | | Mattia De Rosa, Luca Iocchi, Daniele Nardi: Knowledge representation techniques for information extraction on the Web. WebNet 1998 |
| 1997 | ||
| j11 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997) |
| j10 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997) |
| c26 | | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997 |
| c25 | | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997: 156-168 |
| c24 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141 |
| c23 | | Tiziana Catarci, Luca Iocchi, Daniele Nardi, Giuseppe Santucci: Conceptual Views over the Web. KRDB 1997: 3.1-3.6 |
| c22 | | |
| 1996 | ||
| c21 | | Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103 |
| c20 | | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209 |
| 1995 | ||
| c19 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102 |
| c18 | | Daniele Nardi, Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995: 223-235 |
| c17 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144 |
| 1994 | ||
| j9 | | 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) |
| c16 | | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120 |
| 1992 | ||
| j8 | | 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) |
| c15 | | 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 |
| c14 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 |
| c13 | | Daniele Nardi, Riccardo Rosati: Deductive Synthesis of Programs for Query Answering. LOPSTR 1992: 15-29 |
| 1991 | ||
| j7 | | Luigia Carlucci Aiello, Daniele Nardi: Perspectives in knowledge representation. Applied Artificial Intelligence 5(1): 29-44 (1991) |
| j6 | | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about reasoning in a meta-level architecture. Appl. Intell. 1(1): 55-67 (1991) |
| c12 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97 |
| c11 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. Description Logics 1991: 39-42 |
| c10 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90 |
| c9 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465 |
| c8 | | Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi: Reasoning about Student Knowledge and Reasoning. IJCAI 1991: 1087-1093 |
| c7 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162 |
| c6 | | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about Knowledge: The Meta-Level Approach. SCAI 1991: 4-18 |
| 1990 | ||
| j5 | | Daniele Nardi, Marco Tucci: Building Tools for software engineering with artificial intelligence techniques. Applied Artificial Intelligence 4(4): 283-307 (1990) |
| j4 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi: Using Terminological Reasoning in Hybrid Systems. AI Commun. 3(3): 128-138 (1990) |
| c5 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi: An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252 |
| 1989 | ||
| j3 | | Daniele Nardi: Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method. J. Log. Program. 7(1): 1-43 (1989) |
| c4 | | Daniele Nardi, Marco Tucci: An Application of the Event Calculus for Representing the History of a Software Project. ESEC 1989: 176-190 |
| 1988 | ||
| c3 | | |
| c2 | | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning About Knowledge and Ignorance. FGCS 1988: 618-627 |
| c1 | | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Yet Another Solution to the Three Wisemen Puzzle. ISMIS 1988: 398-407 |
| 1987 | ||
| j2 | | Pattie Maes, Daniele Nardi: The First International Workshop on Meta-level Architectures and ReflectionAlghero, Italy, October 27-30, 1986. AI Commun. 0(1): 49-51 (1987) |
| 1983 | ||
| j1 | | Antonio Guiducci, Riccardo Melen, Daniele Nardi, Fabio Neri, Francesco Nesti, Giorgio Quaglia: Automatic scaling of ionograms by the method of structural description. Pattern Recognition 16(5): 489-499 (1983) |
Colors in the list of coauthors
Last update Sat May 25 05:55:28 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page