| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning |
An obligation-based framework for web service composition via agent conversations.  |
Web Intelligence and Agent Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado |
An Obligation Approach for Exception Handling in Interaction Protocols. |
Web Intelligence/IAT Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning |
Obligation-Based Agent Conversations for Semantic Web Service Composition. |
Web Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Fadil, Jean-Luc Koning |
Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents. |
Ingénierie des Systèmes d'Information |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado |
From Obligations to Organizational Structures in Multi-Agent Systems. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent systems, interaction protocols, social norms |
| 1 | Jean-Luc Koning, Pierre-Yves Oudeyer |
Modeling interaction strategies using POS: An application to soccer robots. |
Appl. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Agent conversation protocols, Operational semantics, Distributed problem solving, Soccer-robot |
| 1 | Jean-Luc Koning, Didier Dubois |
Suitable Properties for Any Electronic Voting System. |
Artif. Intell. Law |
2006 |
DBLP DOI BibTeX RDF |
Arrow’s theorem, electronic voting, social choice theory |
| 1 | Hind Fadil, Jean-Luc Koning, Félix F. Ramos, Jean-Paul Jamont, Michel Occello |
Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems. |
ITSSA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hind Fadil, Jean-Luc Koning |
A Formal Approach to Model Multiagent Interactions Using the B Formal Method. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
formal specification, multiagent system, B method, interaction protocols |
| 1 | Hind Fadil, Jean-Luc Koning |
Rules for Translating Interaction Protocols into a B Formal Representation. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Ivan Romero-Hernandez |
Limitations in AUML's Roles Specification. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Romero-Hernandez, Jean-Luc Koning |
State Controlled Execution for Agent-Object Hybrid Languages. |
ISSADS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Pierre-Yves Oudeyer |
Formalization, implementation and validation of conversation policies using a protocol operational semantics. |
Cognitive Systems Research |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Charles X. Ling |
Cognitive agents and multiagent interaction. |
Cognitive Systems Research |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc-Philippe Huget, Jean-Luc Koning |
Interaction Protocol Engineering. |
Communication in Multiagent Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Marc-Philippe Huget |
Interaction Protocol Design: Application to an Agent-Based Teleteaching Project. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc-Philippe Huget, Jean-Luc Koning |
Requirement Analysis for Interaction Protocols. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning |
A Review on the Interaction Issues in Agent-Based Marketplaces. |
International Journal of Information Technology and Decision Making |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Koning |
Des règles d'interaction comme modèle de contrôle en univers multi-agent. |
Technique et Science Informatiques |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Koning |
Dynamic Choice of Agent Interaction Protocols. |
Intelligent Information Processing |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marc-Philippe Huget, Jean-Luc Koning |
Ingénierie des protocoles d'interaction pour les systèmes multi-agents. |
JFSMA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Koning, Ivan Romero-Hernandez |
Generating Machine Processable Representations of Textual Representations of AUML. |
AOSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning |
A Simplified Protocol Operational Semantics for Multiagent Protocols. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
artificial intelligence, knowledge engineering, Agent technologies |
| 1 | Jean-Luc Koning, Pierre-Yves Oudeyer |
Introduction to POS: A Protocol Operational Semantics. |
Int. J. Cooperative Inf. Syst. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Koning |
Designing and Testing Negotiation Protocols for Electronic Commerce Applications. |
AgentLink |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang |
Extended Modeling Languages for Interaction Protocol Design. |
AOSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Marc-Philippe Huget |
A Semi-Formal Specification Language Dedicated to Interaction Protocols. |
EJC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Yves Oudeyer, Jean-Luc Koning |
Modeling Soccer-Robots Strategies through Conversation Policies. |
ASA/MA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Koning |
Compiling a Conversation Policy's Implementation from its Validated Specification Model. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Koning, G. Francois, Yves Demazeau |
Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")