Daniele Nardi

According to our database1, Daniele Nardi authored at least 244 papers between 1983 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Emotional machines: The next revolution.
Web Intelligence, 2019

RoboCup: A Treasure Trove of Rich Diversity for Research Issues and Interdisciplinary Connections [TC Spotlight].
IEEE Robot. Automat. Mag., 2019

AgriColMap: Aerial-Ground Collaborative 3D Mapping for Precision Farming.
IEEE Robotics and Automation Letters, 2019

No environmental context-dependent effect, but interference, of physical activity on object location memory.
Cognitive Processing, 2019

Joint Vision-Based Navigation, Control and Obstacle Avoidance for UAVs in Dynamic Environments.
CoRR, 2019

Crop and Weeds Classification for Precision Agriculture Using Context-Independent Pixel-Wise Segmentation.
Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

Mapping Infected Crops Through UAV Inspection: The Sunflower Downy Mildew Parasite Case.
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Investigating User Perceptions of HRI in Social Contexts.
Proceedings of the 14th ACM/IEEE International Conference on Human-Robot Interaction, 2019

UAV Image Based Crop and Weed Distribution Estimation on Embedded GPU Boards.
Proceedings of the Computer Analysis of Images and Patterns, 2019

Field Coverage for Weed Mapping: Toward Experiments with a UAV Swarm.
Proceedings of the Bio-inspired Information and Communication Technologies, 2019

Cooperative Multi-Agent Deep Reinforcement Learning in Soccer Domains.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Summary: Distributed Task Assignment and Path Planning with Limited Communication for Robot Teams.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
An Effective Multi-Cue Positioning System for Agricultural Robotics.
IEEE Robotics and Automation Letters, 2018

AgriColMap: Aerial-Ground Collaborative 3D Mapping for Precision Farming.
CoRR, 2018

Non-Linear Model Predictive Control with Adaptive Time-Mesh Refinement.
CoRR, 2018

DOP: Deep Optimistic Planning with Approximate Value Function Evaluation.
CoRR, 2018

An Effective Multi-Cue Positioning System for Agricultural Robotics.
CoRR, 2018

Q-CP: Learning Action Values for Cooperative Planning.
CoRR, 2018

Non-linear model predictive control with adaptive time-mesh refinement.
Proceedings of the 2018 IEEE International Conference on Simulation, 2018

Deep Convolutional Pixel-wise Labeling for Skin Lesion Image Segmentation.
Proceedings of the 2018 IEEE International Symposium on Medical Measurements and Applications, 2018

Q-CP: Learning Action Values for Cooperative Planning.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

HI-VAL: Iterative Learning of Hierarchical Value Functions for Policy Generation.
Proceedings of the Intelligent Autonomous Systems 15, 2018

Incrementally Learning Semantic Attributes through Dialogue Interaction.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

DOP: Deep Optimistic Planning with Approximate Value Function Evaluation.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Dynamic UAV Swarm Deployment for Non-Uniform Coverage.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Companion Robots: the Hallucinatory Danger of Human-Robot Interactions.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017
Enhancing Automatic Maritime Surveillance Systems With Visual Information.
IEEE Trans. Intelligent Transportation Systems, 2017

Structured learning for spoken language understanding in human-robot interaction.
I. J. Robotics Res., 2017

Target Aware Optimal Visual Navigation for UAVs.
CoRR, 2017

Distributed on-line dynamic task assignment for multi-robot patrolling.
Auton. Robots, 2017

Field coverage and weed mapping by UAV swarms.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Effective target aware visual navigation for UAVs.
Proceedings of the 2017 European Conference on Mobile Robots, 2017

Benchmarking Speech Understanding in Service Robotics.
Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics A workshop of the XVI International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

Structured Learning for Context-aware Spoken Language Understanding of Robotic Commands.
Proceedings of the First Workshop on Language Grounding for Robotics, 2017

2016
Context in Robotics and Information Fusion.
Proceedings of the Context-Enhanced Information Fusion, 2016

Robotics Competitions and Challenges.
Proceedings of the Springer Handbook of Robotics, 2016

Living with robots: Interactive environmental knowledge acquisition.
Robotics and Autonomous Systems, 2016

Robust Spoken Language Understanding for House Service Robots.
Polibits, 2016

Learning Human-Robot Handovers Through π-STAM: Policy Improvement With Spatio-Temporal Affordance Maps.
CoRR, 2016

Using Monte Carlo Search With Data Aggregation to Improve Robot Soccer Policies.
CoRR, 2016

STAM: A Framework for Spatio-Temporal Affordance Maps.
CoRR, 2016

A Proposal for Semantic Map Representation and Evaluation.
CoRR, 2016

Skin lesion image segmentation using Delaunay Triangulation for melanoma detection.
Comp. Med. Imag. and Graph., 2016

Speaky for robots: the development of vocal interfaces for robotic applications.
Appl. Intell., 2016

Enabling Symbiotic Autonomy in Short-Term Interactions: A User Study.
Proceedings of the Social Robotics - 8th International Conference, 2016

Using Monte Carlo Search with Data Aggregation to Improve Robot Soccer Policies.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

RoCKIn and the European Robotics League: Building on RoboCup Best Practices to Promote Robot Competitions in Europe.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

A Deep Learning Approach for Object Recognition with NAO Soccer Robots.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

STAM: A Framework for Spatio-Temporal Affordance Maps.
Proceedings of the Modelling and Simulation for Autonomous Systems, 2016

Dialogue with Robots to Support Symbiotic Autonomy.
Proceedings of the Dialogues with Social Robots, 2016

Improved Learning of Dynamics Models for Control.
Proceedings of the International Symposium on Experimental Robotics, 2016

Multi-robot search for a moving target: Integrating world modeling, task assignment and context.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

A Discriminative Approach to Grounded Spoken Language Understanding in Interactive Robotics.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Fast and Accurate Crop and Weed Identification with Summarized Train Sets for Precision Agriculture.
Proceedings of the Intelligent Autonomous Systems 14, 2016

Learning human-robot handovers through π-STAM: Policy improvement with spatio-temporal affordance maps.
Proceedings of the 16th IEEE-RAS International Conference on Humanoid Robots, 2016

Context-aware Spoken Language Understanding for Human Robot Interaction.
Proceedings of Third Italian Conference on Computational Linguistics (CLiC-it 2016) & Fifth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop (EVALITA 2016), 2016

Spoken Language Understanding for Service Robotics in Italian.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Coloured Petri Net Plans for Cooperative Multi-robot Systems.
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016

Fast Traffic Sign Recognition Using Color Segmentation and Deep Convolutional Networks.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2016

Contexts for Symbiotic Autonomy: Semantic Mapping, Task Teaching and Social Robotics.
Proceedings of the Symbiotic Cognitive Systems, 2016

2015
Multi-robot Surveillance Through a Distributed Sensor Network.
Proceedings of the Cooperative Robots and Sensor Networks 2015, 2015

Children's Use of Slope to Guide Navigation: Sex Differences Relate to Spontaneous Slope Perception.
Spatial Cognition & Computation, 2015

Learning Task Knowledge from Dialog and Web Access.
Robotics, 2015

Competitions for Benchmarking: Task and Functionality Scoring Complete Performance Assessment.
IEEE Robot. Automat. Mag., 2015

Environmental sensing using millimeter wave sensor for extreme conditions.
Proceedings of the 2015 IEEE International Symposium on Safety, 2015

Context-Based Coordination for a Multi-Robot Soccer Team.
Proceedings of the RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, 2015

Language-Based Sensing Descriptors for Robot Object Grounding.
Proceedings of the RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, 2015

Disambiguating localization symmetry through a Multi-Clustered Particle Filtering.
Proceedings of the 2015 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2015

Multi-robot task acquisition through sparse coordination.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Explicit representation of social norms for social robots.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Using semantic maps for robust natural language interaction with robots.
Proceedings of the INTERSPEECH 2015, 2015

Melanoma Detection Using Delaunay Triangulation.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

A framework for dynamic context exploitation.
Proceedings of the 18th International Conference on Information Fusion, 2015

A proposal for semantic map representation and evaluation.
Proceedings of the 2015 European Conference on Mobile Robots, 2015

On Task Recognition and Generalization in Long-Term Robot Teaching.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Teaching Robots Parametrized Executable Plans Through Spoken Interaction.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Graph-Based Task Libraries for Robots: Generalization and Autocompletion.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Approaching Qualitative Spatial Reasoning About Distances and Directions in Robotics.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Using Semantic Models for Robust Natural Language Human Robot Interaction.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Plane Extraction for Indoor Place Recognition.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2015

2014
RoCKIn Innovation Through Robot Competitions [Competitions].
IEEE Robot. Automat. Mag., 2014

RoboCup Soccer Leagues.
AI Magazine, 2014

RoboCup@Home Spoken Corpus: Using Robotic Competitions for Gathering Datasets.
Proceedings of the RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, 2014

HuRIC: a Human Robot Interaction Corpus.
Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Interactive Semantic Mapping: Experimental Evaluation.
Proceedings of the Experimental Robotics, 2014

Automatic Extraction of Structural Representations of Environments.
Proceedings of the Intelligent Autonomous Systems 13, 2014

Effective and Robust Natural Language Understanding for Human-Robot Interaction.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Novel Patterns and Methods for Zooming Camera Calibration.
Journal of WSCG, 2013

Knowledge acquisition through human-robot multimodal interaction.
Intelligent Service Robotics, 2013

Development of intelligent service robots.
Intelligenza Artificiale, 2013

Knowledge Representation for Robots through Human-Robot Interaction.
CoRR, 2013

UNITOR-HMM-TK: Structured Kernel-based learning for Spatial Role Labeling.
Proceedings of the 7th International Workshop on Semantic Evaluation, 2013

Ground Truth Acquisition of Humanoid Soccer Robot Behaviour.
Proceedings of the RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, 2013

Learning environmental knowledge from task-based human-robot dialog.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

On-line semantic mapping.
Proceedings of the 16th International Conference on Advanced Robotics, 2013

RoboCup@Sapienza.
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Kernel-Based Discriminative Re-ranking for Spoken Command Understanding in HRI.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

Knowledgeable Talking Robots.
Proceedings of the Artificial General Intelligence - 6th International Conference, 2013

2012
Multi-Robot and Multi-Camera Patrolling.
Proceedings of the Handbook on Soft Computing for Video Surveillance., 2012

Cooperative situation assessment in a maritime scenario.
Int. J. Intell. Syst., 2012

Does terrain slope really dominate goal searching?
Cognitive Processing, 2012

The 2012 Safety, Security, and Rescue Robotics Summer School.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2012

Ground traffic surveillance system for Air Traffic control.
Proceedings of the 12th International Conference on ITS Telecommunications, 2012

Integrated Balance Control on Uneven Terrain.
Proceedings of the Intelligent Autonomous Systems 12, 2012

How Vertical Spaces Are Perceived and Represented.
Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

2011
Unifying Class-Based Representation Formalisms
CoRR, 2011

Petri Net Plans - A framework for collaboration and coordination in multi-robot systems.
Autonomous Agents and Multi-Agent Systems, 2011

Real Time Biped Walking Gait Pattern Generator for a Real Robot.
Proceedings of the RoboCup 2011: Robot Soccer World Cup XV [papers from the 15th Annual RoboCup International Symposium, 2011

Evaluating tangible paradigms for ground robot teleoperation.
Proceedings of the 20th IEEE International Symposium on Robot and Human Interactive Communication, 2011

Multi-robot patrolling with coordinated behaviours in realistic environments.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Tangible interfaces for robot teleoperation.
Proceedings of the 6th International Conference on Human Robot Interaction, 2011

Experimental evaluation of teamwork in many-robot systems.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Smart Monitoring of Complex Public Scenes.
Proceedings of the Robot-Human Teamwork in Dynamic Adverse Environment, 2011

2010
Policy gradient learning for quadruped soccer robots.
Robotics and Autonomous Systems, 2010

Introducing ontology best practices and design patterns into robotics: USAREnv.
Proceedings of the Modular Ontologies - Proceedings of the Fourth International Workshop, 2010

The Role of Slope in Human Reorientation.
Proceedings of the Spatial Cognition VII, International Conference, 2010

A probabilistic action duration model for plan selection and monitoring.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

On-line robot execution monitoring using probabilistic action duration.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Robotic Agents for Disaster Response Robotics.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009
Reasoning about actions with sensing under qualitative and probabilistic uncertainty.
ACM Trans. Comput. Log., 2009

Performance evaluation of pure-motion tasks for mobile robots with respect to world models.
Auton. Robots, 2009

Preface.
Advanced Robotics, 2009

Improving Search and Rescue Using Contextual Information.
Advanced Robotics, 2009

Multi-objective multi-robot surveillance.
Proceedings of the 4th International Conference on Autonomous Robots and Agents, 2009

Agent Approach to Situation Assessment.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Solving disagreements in a multi-agent system performing Situation Assessment.
Proceedings of the 12th International Conference on Information Fusion, 2009

2008

Context-based design of robotic systems.
Robotics and Autonomous Systems, 2008

Teamwork Design Based on Petri Net Plans.
Proceedings of the RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, 2008

Adaptative Human-Robot Interaction for mobile robots.
Proceedings of the 17th IEEE International Symposium on Robot and Human Interactive Communication, 2008

OpenRDK: A modular framework for robotic software development.
Proceedings of the 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2008

A Generalisation of the ICP Algorithm for Articulated Bodies.
Proceedings of the British Machine Vision Conference 2008, Leeds, UK, September 2008, 2008

Petri net plans: a formal model for representation and execution of multi-robot plans.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A decentralized approach to cooperative situation assessment in multi-robot systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A robotic soccer passing task using petri net plans.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Fast and accurate SLAM with Rao-Blackwellized particle filters.
Robotics and Autonomous Systems, 2007

Multi-objective exploration and search for autonomous rescue robots.
J. Field Robotics, 2007

Real-time people localization and tracking through fixed stereo vision.
Appl. Intell., 2007

Semi-autonomous Coordinated Exploration in Rescue Scenarios.
Proceedings of the RoboCup 2007: Robot Soccer World Cup XI, 2007

Dealing with Perception Errors in Multi-Robot System Coordination.
Proceedings of the IJCAI 2007, 2007

RFID-Based Exploration for Large Robot Teams.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Heterogeneous Feature State Estimation with Rao-Blackwellized Particle Filters.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Uses of Contextual Knowledge in Mobile Robots.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Assignment of Dynamically Perceived Tasks by Token Passing in Multirobot Systems.
Proceedings of the IEEE, 2006

Enterprise modeling and Data Warehousing in Telecom Italia.
Inf. Syst., 2006

Artificial Intelligence and Robotics.
Intelligenza Artificiale, 2006

Development of an Autonomous Rescue Robot Within the USARSim 3D Virtual Environment.
Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006

Speeding-up Rao-blackwellized SLAM.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Artificial Intelligence in RoboCup.
Proceedings of the Reasoning, 2006

2005
Generation of Strong Cyclic Plans with Incomplete Information and Sensing.
Intelligenza Artificiale, 2005

A Multi Agent System approach for emergency intervention: experimental analysis and evaluation.
Intelligenza Artificiale, 2005

Real-Time People Localization and Tracking Through Fixed Stereo Vision.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Task Assignment with Dynamic Perception and Constrained Tasks in a Multi-Robot System.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Stereo vision based human body detection from a localized mobile robot.
Proceedings of the Advanced Video and Signal Based Surveillance, 2005

2004
Multirobot systems: a classification focused on coordination.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2004

RoboCare: Pervasive Intelligence for the Domestic Care of the Elderly.
Intelligenza Artificiale, 2004

Dynamic token generation for constrained tasks in a multi-robot system.
Proceedings of the IEEE International Conference on Systems, 2004

Qualitative and probabilistic uncertainty in reasoning about actions with sensing.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Task Assignment with Dynamic Token Generation.
Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Distributed Coordination in Heterogeneous Multi-Robot Systems.
Auton. Robots, 2003

An analysis of coordination in Multi-Robot Systems.
Proceedings of the IEEE International Conference on Systems, 2003

RoboCup Rescue Simulation: Methodologies Tools and Evaluation for Practical Applications.
Proceedings of the RoboCup 2003: Robot Soccer World Cup VII, 2003

RoboCup: Yesterday, Today, and Tomorrow Workshop of the Executive Committee in Blaubeuren, October 2003.
Proceedings of the RoboCup 2003: Robot Soccer World Cup VII, 2003

Design and evaluation of multi agent systems for rescue operations.
Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003

An Introduction to Description Logics.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

2002
Description logics of minimal knowledge and negation as failure.
ACM Trans. Comput. Log., 2002

Hough Localization for mobile robots in polygonal environments.
Robotics and Autonomous Systems, 2002

A Biped Locomotion Strategy for the Quadruped Robot Sony ERS-210.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

Global Hough Localization for Mobile Robots in Polygonal Environments.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2001
Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB).
SIGMOD Record, 2001

Coordination in multi-agent RoboCup teams.
Robotics and Autonomous Systems, 2001

Data Integration in Data Warehousing.
Int. J. Cooperative Inf. Syst., 2001

S.P.Q.R. Legged Team.
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

S.P.Q.R. Wheeled Team.
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

Design and Implementation of Cognitive Soccer Robots.
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

Preface.
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

A Probabilistic approach to Hough Localization.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

Reasoning in Expressive Description Logics.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
Self-instructive spreadsheets: an environment for automatic knowledge acquisition and tutor generation.
Int. J. Hum.-Comput. Stud., 2000

S.P.Q.R.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

Communication and Coordination Among Heterogeneous Mid-Size Players: ART99.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

ART'00 - Azzurra Robot Team for the Year 2000.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

Planning with sensing, concurrency, and exogenous events: logical framework and implementation.
Proceedings of the KR 2000, 2000

Coordination among heterogeneous robotic soccer players.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

Reactivity and Deliberation: A Survey on Multi-Robot Systems.
Proceedings of the Balancing Reactivity and Social Deliberation in Multi-Agent Systems, 2000

Artificial Intelligence in RoboCup.
Proceedings of the ECAI 2000, 2000

1999
A Theory and Implementation of Cognitive Mobile Robots.
J. Log. Comput., 1999

Unifying Class-Based Representation Formalisms.
J. Artif. Intell. Res., 1999

Data Integration and Warehousing in Telecom Italia.
Proceedings of the SIGMOD 1999, 1999

ART99 - Azzurra Robot Team.
Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

Self-Localization in the RoboCup Environment.
Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

Design and Implementation of Robotic Soccer Behaviors: A User Viewpoint.
Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999

A Principled Approach to Data Integration and Reconciliation in Data Warehousing.
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
AL-log: Integrating Datalog and Description Logics.
J. Intell. Inf. Syst., 1998

WAG: Web-at-a-Glance.
Int. J. Cooperative Inf. Syst., 1998

An Epistemic Operator for Description Logics.
Artif. Intell., 1998

Knowledge representation techniques for information extraction on the Web.
Proceedings of WebNet 98, 1998

ART - Azzurra Robot Team.
Proceedings of the RoboCup-98: Robot Soccer World Cup II, 1998

Accessing the Web: exploiting the DB paradigm.
Proceedings of the Building, 1998

Description Logic Framework for Information Integration.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

WAG: Web-At-a-Glance.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Source Integration in Data Warehousing.
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Description Logics for Conceptual Data Modeling.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

Materializing the Web.
Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998

Information Integration: Conceptual Modeling and Reasoning Support.
Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998

1997
Ground Nonmonotonic Modal Logics.
J. Log. Comput., 1997

The Complexity of Concept Languages.
Inf. Comput., 1997

Information Access in the Web.
Proceedings of WebNet 97, 1997

Conceptual Views over the Web.
Proceedings of the Intelligent Access to Heterogeneous Information, 1997

Autoepistemic Description Logics.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Planning with Sensing for a Mobile Robot.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Description Logic-baqsed Framrwork for Planning with Sensing Actions.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
Moving a Robot: The KR&R Approach at Work.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

A Uniform Tableaux Method for Nonmonotonic Modal Logics.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

1995
Ground Nonmonotonic Modal Logics for Knowledge Representation.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

A Preference Semantics for Ground Nonmonotonic Modal Logics.
Proceedings of the Progress in Artificial Intelligence, 1995

Non-first-order features in concept languages.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
Deduction in Concept Languages: From Subsumption to Instance Checking.
J. Log. Comput., 1994

A Unified Framework for Class-Based Representation Formalisms.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1992
The Complexity of Existential Quantification in Concept Languages.
Artif. Intell., 1992

Deductive Synthesis of Programs for Query Answering.
Proceedings of the Logic Program Synthesis and Transformation, 1992

Adding Epistemic Operators to Concept Languages.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991
Reasoning about reasoning in a meta-level architecture.
Appl. Intell., 1991

Perspectives in knowledge representation.
Applied Artificial Intelligence, 1991

Reasoning about Knowledge: The Meta-Level Approach.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

The Complexity of Concept Languages.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Tractable Concept Languages.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Reasoning about Student Knowledge and Reasoning.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

The Complexity of Concept Languages (Extended Abstract).
Proceedings of the International Workshop on Terminological Logics 1991, 1991

A Hybrid System with Datalog and Concept Languages.
Proceedings of the Trends in Artificial Intelligence, 1991

1990
Nonmonotonic reasoning.
Artif. Intell. Rev., 1990

Using Terminological Reasoning in Hybrid Systems.
AI Commun., 1990

Building Tools for software engineering with artificial intelligence techniques.
Applied Artificial Intelligence, 1990

An Efficient Method for Hybrid Deduction.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989
Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method.
J. Log. Program., 1989

An Application of the Event Calculus for Representing the History of a Software Project.
Proceedings of the ESEC '89, 1989

1988
Yet Another Solution to the Three Wisemen Puzzle.
Proceedings of the Methodologies for Intelligent Systems, 1988

Reasoning About Knowledge and Ignorance.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Belief Revision as Meta-Reasoning.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987
The First International Workshop on Meta-level Architectures and ReflectionAlghero, Italy, October 27-30, 1986.
AI Commun., 1987

1983
Automatic scaling of ionograms by the method of structural description.
Pattern Recognition, 1983


  Loading...