Marco Colombetti

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012

An Infrastructure for Open Interaction Systems.

[BibT_eX]

[DOI]

Daniel Okouya

Proceedings of the First International Conference on Agreement Technologies, 2012

2011

Using OWL 2 DL for Expressing ACL Content and Semantics.

[BibT_eX]

[DOI]

Daniel Okouya

Proceedings of the Multi-Agent Systems - 9th European Workshop, 2011

Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Layers of Joint Commitments in Interpersonal Communication.

[BibT_eX]

[DOI]

Antonella Carassa

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010

Representation and monitoring of commitments and norms using OWL.

[BibT_eX]

[DOI]

AI Commun., 2010

2009

Communication Languages for Multiagent Systems.

[BibT_eX]

[DOI]

Comput. Intell., 2009

Guest Editorial: an Artificial Intelligence Miscellanea, Remembering Marco Somalvico.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2009

Ontology-Based Learning Objects Search and Courses Generation.

[BibT_eX]

[DOI]

Mario Arrigoni Neri

Appl. Artif. Intell., 2009

Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Verifying Organizations Regulated by Institutions.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

Specifying Artificial Institutions in the Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Robotics, Virtual Reality, and Agents and their Body: A Special Issue in Memory of Marco Somalvico.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2008

Guest Editorial: Papers in Sensing and in Reasoning (Marco Somalvico Memorial Issue).

[BibT_eX]

[DOI]

Cybern. Syst., 2008

Artificial institutions: a model of institutional reality for open multiagent systems.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2008

2007

Guest Editorial: Marco Somalvico Memorial Issue.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2007

Agent communication and artificial institutions.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2007

Using WordNet to turn a Folksonomy into a Hierarchy of Concepts.

[BibT_eX]

[DOI]

David Laniado

Davide Eynard

Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

A semantic tool to support navigation in a folksonomy.

[BibT_eX]

[DOI]

David Laniado

Davide Eynard

Proceedings of the HYPERTEXT 2007, 2007

Model Checking Norms and Sanctions in Institutions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2007

Symbolic model checking of institutions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Electronic Commerce: The Wireless World of Electronic Commerce, 2007

2006

Specifying and Enforcing Norms in Artificial Institutions.

[BibT_eX]

[DOI]

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

Specification and Verification of Institutions Through Status Functions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005

From Message Exchanges to Communicative Acts to Commitments.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

ANEMONE - A Network of Multi-Agent Platforms for Academic Communities.

[BibT_eX]

[DOI]

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

A commitment-based communicative act library.

[BibT_eX]

Proceedings of the EUMAS 2005, 2005

An Event Driven Approach to Norms in Artificial Institutions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2005

An operational approach to norms in artificial institutions.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

A Commitment-Based Approach To Agent Communication.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2004

Dealing with Time in Content Language Expressions.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

Agent Communication and Institutional Reality.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003

A Logical Model for Agent Communication Languages.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

A Social Approach to Communication in Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

Defining interaction protocols using a commitment-based agent communication language.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

A Logical Model of Social Commitment for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Advances in Agent Communication, 2003

Protocol Specification Using a Commitment Based ACL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Agent Communication, 2003

2002

Commitments for agent-based supply chain management.

[BibT_eX]

[DOI]

SIGecom Exch., 2002

Operational specification of a commitment-based agent communication language.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

An analysis of agent speech acts as institutional actions.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2000

A Formal Description of a Practical Agent for E-Commerce.

[BibT_eX]

[DOI]

Matteo Pradella

Proceedings of the Agent-Mediated Electronic Commerce III, 2000

Semantic, Normative and Practical Aspects of Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Issues in Agent Communication, 2000

1999

What Is a Learning Classifier System?

[BibT_eX]

[DOI]

Proceedings of the Learning Classifier Systems, From Foundations to Applications, 1999

1998

Incremental Robot Shaping.

[BibT_eX]

[DOI]

Connect. Sci., 1998

Different Ways to Have Something in Common.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

Reply to Dario Floreano's "Engineering Adaptive Behavior".

[BibT_eX]

[DOI]

Adapt. Behav., 1997

Précis of Robot Shaping: An Experiment in Behavior Engineering.

[BibT_eX]

[DOI]

Adapt. Behav., 1997

1996

Behavior analysis and training-a methodology for behavior engineering.

[BibT_eX]

[DOI]

Giuseppe Borghi

IEEE Trans. Syst. Man Cybern. Part B, 1996

QLB: A Quantified Logic for Belief.

[BibT_eX]

[DOI]

Alessio Lomuscio

Proceedings of the Intelligent Agents III, 1996

1995

Evolutionary Learning for Intelligent Automation: A Case Study.

[BibT_eX]

[DOI]

Mukesh J. Patel

Intell. Autom. Soft Comput., 1995

1994

Robot Shaping: Developing Autonomous Agents Through Learning.

[BibT_eX]

[DOI]

Artif. Intell., 1994

Training Agents to Perform Sequential Behavior.

[BibT_eX]

[DOI]

Adapt. Behav., 1994

1993

Conversation and Bahavior Games in the Pragmatics of Dialogue.

[BibT_eX]

[DOI]

Cogn. Sci., 1993

Formal Semantics for Mutual Belief.

[BibT_eX]

[DOI]

Artif. Intell., 1993

1984

Supporting Control Definition in Programming Languages.

[BibT_eX]

[DOI]

Giovanni Guida

Comput. Lang., 1984

Plan Formation and Failure Recovery in Communicative Acts.

[BibT_eX]

Proceedings of the Advances in Artificial Intelligence, 1984

1983

Planning Perlocutionary Acts.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

NLDA: A Natural Language Reasoning System for the Analysis of Data Base Requirements.

[BibT_eX]

Giovanni Guida

Marco Somalvico

Proceedings of the Methodology and Tools for Data Base Design., 1983

1982

Knowledge for communication: Universita Degli Studi Di Milano, Italy.

[BibT_eX]

[DOI]

SIGART Newsl., 1982

1977

Nondeterministic Languages Used for the Definition of Data Models.

[BibT_eX]

[DOI]

Paolo Paolini

Giuseppe Pelagatti

Proceedings of the Logic and Data Bases, 1977

1976

Programs, Computations and Temporal Features.

[BibT_eX]

[DOI]