| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicoletta Fornara, Marco Colombetti |
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review.  |
DALT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Representation and monitoring of commitments and norms using OWL. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ephraim Nissan, Giuseppina C. Gini, Marco Colombetti |
Guest Editorial: an Artificial Intelligence Miscellanea, Remembering Marco Somalvico. |
Applied Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Arrigoni Neri, Marco Colombetti |
Ontology-Based Learning Objects Search and Courses Generation. |
Applied Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ephraim Nissan, Giuseppina C. Gini, Marco Colombetti |
Guest Editorial: Marco Somalvico Memorial Issue. |
Computational Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Verdicchio, Marco Colombetti |
Communication Languages for Multiagent Systems. |
Computational Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ephraim Nissan, Giuseppina C. Gini, Marco Colombetti |
Robotics, Virtual Reality, and Agents and their Body: A Special Issue in Memory of Marco Somalvico. |
Journal of Intelligent and Robotic Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ephraim Nissan, Giuseppina C. Gini, Marco Colombetti |
Guest Editorial: Papers in Sensing and in Reasoning (Marco Somalvico Memorial Issue). |
Cybernetics and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Francesco Viganò, Mario Verdicchio, Marco Colombetti |
Artificial institutions: a model of institutional reality for open multiagent systems. |
Artif. Intell. Law |
2008 |
DBLP DOI BibTeX RDF |
Artificial institutions, Open systems, Commitments, Norms, Conventions |
| 1 | Ephraim Nissan, Giuseppina C. Gini, Marco Colombetti |
Guest editorial: Marco Somalvico memorial issue. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T01, 62B15, 62F15, 62-09, 68T50, 01A70, 00B15, 68T30, 68T27, 68T37 |
| 1 | Nicoletta Fornara, Marco Colombetti |
Specifying and Enforcing Norms in Artificial Institutions. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Specifying and enforcing norms in artificial institutions. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Colombetti, Giuseppina C. Gini, Ephraim Nissan |
Guest Editorial: Marco Somalvico Memorial Issue. |
International Journal on Artificial Intelligence Tools |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Francesco Viganò, Marco Colombetti |
Agent communication and artificial institutions. |
Autonomous Agents and Multi-Agent Systems |
2007 |
DBLP DOI BibTeX RDF |
Artificial institutions, Commitments, Norms, Agent communication language |
| 1 | Nicoletta Fornara, Marco Colombetti |
Specifying and Enforcing Norms in Artificial Institutions. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Laniado, Davide Eynard, Marco Colombetti |
A semantic tool to support navigation in a folksonomy. |
Hypertext |
2007 |
DBLP DOI BibTeX RDF |
algorithms |
| 1 | Francesco Viganò, Marco Colombetti |
Model Checking Norms and Sanctions in Institutions. |
COIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Viganò, Marco Colombetti |
Symbolic model checking of institutions. |
ICEC |
2007 |
DBLP DOI BibTeX RDF |
model checking, norms, institutions |
| 1 | David Laniado, Davide Eynard, Marco Colombetti |
Using WordNet to turn a Folksonomy into a Hierarchy of Concepts. |
SWAP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mario Verdicchio, Marco Colombetti |
From Message Exchanges to Communicative Acts to Commitments. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Verdicchio, Marco Colombetti |
A Commitment-Based Communicative Act Library. |
AC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Specifying and Enforcing Norms in Artificial Institutions. |
EUMAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuliano Armano, Pietro Baroni, Giancarlo Cherchi, Marco Colombetti, Alfonso Gerevini, Marco Mari, Agostino Poggi, Corrado Santoro, Emiliano Tramontana, Mario Verdicchio |
ANEMONE - A Network of Multi-Agent Platforms for Academic Communities. |
WOA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Viganò, Nicoletta Fornara, Marco Colombetti |
An Event Driven Approach to Norms in Artificial Institutions. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Verdicchio, Marco Colombetti |
A commitment-based communicative act library. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
commitment, agent communication languages, speech acts |
| 1 | Francesco Viganò, Nicoletta Fornara, Marco Colombetti |
An operational approach to norms in artificial institutions. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
artificial institutions, commitments, norms, ACLs |
| 1 | Mario Verdicchio, Marco Colombetti |
A commitment-based communicative act library. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
A Commitment-Based Approach To Agent Communication. |
Applied Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Verdicchio, Marco Colombetti |
A Logical Model for Agent Communication Languages. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Verdicchio, Marco Colombetti |
Dealing with Time in Content Language Expressions. |
AC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Francesco Viganò, Marco Colombetti |
Agent Communication and Institutional Reality. |
AC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Colombetti, Nicoletta Fornara, Mario Verdicchio |
A Social Approach to Communication in Multiagent Systems. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Protocol Specification Using a Commitment Based ACL. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Verdicchio, Marco Colombetti |
A Logical Model of Social Commitment for Agent Communication. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Defining interaction protocols using a commitment-based agent communication language. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
open interaction system, auction, commitment, interaction protocol, agent communication language, communicative act |
| 1 | Mario Verdicchio, Marco Colombetti |
A logical model of social commitment for agent communication. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
temporal logic, commitment, agent communication languages, speech act theory |
| 1 | Mario Verdicchio, Marco Colombetti |
Commitments for agent-based supply chain management. |
SIGecom Exchanges |
2002 |
DBLP DOI BibTeX RDF |
Internet, software agents, supply chain, commitment |
| 1 | Nicoletta Fornara, Marco Colombetti |
Operational specification of a commitment-based agent communication language. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
conversation protocol, commitment, agent communication language, speech act |
| 1 | Marco Colombetti, Mario Verdicchio |
An analysis of agent speech acts as institutional actions. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
commitment, action, agent communication language, speech act |
| 1 | Marco Colombetti |
Semantic, Normative and Practical Aspects of Agent Communication. |
Issues in Agent Communication |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Marco Colombetti |
A Formal Description of a Practical Agent for E-Commerce. |
AMEC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Holland, Lashon B. Booker, Marco Colombetti, Marco Dorigo, David E. Goldberg, Stephanie Forrest, Rick L. Riolo, Robert E. Smith, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson |
What Is a Learning Classifier System? |
Learning Classifier Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseba Urzelai, Dario Floreano, Marco Dorigo, Marco Colombetti |
Incremental Robot Shaping. |
Connect. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Colombetti |
Different Ways to Have Something in Common. |
FQAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Colombetti, Marco Dorigo, Giuseppe Borghi |
Behavior analysis and training-a methodology for behavior engineering. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Marco Colombetti |
QLB: A Quantified Logic for Belief. |
ATAL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Dorigo, Marco Colombetti |
Robot Shaping: Developing Autonomous Agents Through Learning. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Airenti, Bruno G. Bara, Marco Colombetti |
Conversation and Bahavior Games in the Pragmatics of Dialogue. |
Cognitive Science |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Colombetti |
Formal Semantics for Mutual Belief. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Colombetti, Giovanni Guida |
Supporting Control Definition in Programming Languages. |
Comput. Lang. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Airenti, Bruno G. Bara, Marco Colombetti |
Plan Formation and Failure Recovery in Communicative Acts. |
ECAI |
1984 |
DBLP BibTeX RDF |
|
| 1 | Marco Colombetti, Giovanni Guida, Marco Somalvico |
NLDA: A Natural Language Reasoning System for the Analysis of Data Base Requirements. |
Methodology and Tools for Data Base Design |
1983 |
DBLP BibTeX RDF |
|
| 1 | Gabriella Airenti, Bruno G. Bara, Marco Colombetti |
Planning Perlocutionary Acts. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
| 1 | Marco Colombetti, Paolo Paolini, Giuseppe Pelagatti |
Nondeterministic Languages Used for the Definition of Data Models. |
Logic and Data Bases |
1977 |
DBLP BibTeX RDF |
|
| 1 | Marco Colombetti, Enrico Pagello |
Programs, Computations and Temporal Features. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
Predicate-Logic-like Programming Language, Control Structures Temporal Features, Restrictions |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")