Arianna Tocchio

According to our database1, Arianna Tocchio authored at least 26 papers between 2002 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Demonstrator of a Multi-Agent System for Industrial Fault Detection and Repair.
Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2012

A Multi-Agent System for Industrial Fault Detection and Repair.
Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2012

DALI Logical Agents into Play.
Proceedings of the Popularize Artificial Intelligence, 2012

2011
DALI, RASP, mnemosine: Computational Logic at work.
Intelligenza Artificiale, 2011

2010
Ensuring Agent Properties under Arbitrary Sequences of Incoming Events.
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2008
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios.
IEEE Intell. Syst., 2008

Contracts Violation: Justification via Argumentation.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

DALI: An Architecture for Intelligent Logical Agents.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007
Agents and Security in a Cultural Assets Transport Scenario.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

DALICA: Intelligent Agents for User Profile Deduction.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Geo Time Authentication System.
Proceedings of the Trust Management, 2007

A Heuristic Approach to P2P Negotiation.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

A Multi-layered General Agent Model.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

Expressing Preferences Declaratively in Logic-based Agent Languages.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2005
Intelligent agents in computational logic.
PhD thesis, 2005

Communication and trust in the DALI logic programming agent-oriented language.
Intelligenza Artificiale, 2005

Learning by Knowledge Exchange in Logical Agents.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

About Declarative Semantics of Logic-Based Agent Languages.
Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004
A Game-Theoretic Operational Semantics.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

The DALI Logic Programming Agent-Oriented Language.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Planning Experiments in the DALI Logic Programming Language.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003
Strips-like Planning in the DALI Logic Programmming Language.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

A Logic-Based Infrastructure for Reconfiguring Applications.
Proceedings of the Declarative Agent Languages and Technologies, 2003

Context-Based Commonsense Reasoning in the DALI Logic Programming Language.
Proceedings of the Modeling and Using Context, 2003

2002
A Logic Programming Language for Multi-agent Systems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002


  Loading...