Jean-Luc Koning

According to our database, Jean-Luc Koning authored at least 33 papers between 1994 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

An obligation-based framework for web service composition via agent conversations.

J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning

Web Intell. Agent Syst., 2012

2009

Obligation-Based Agent Conversations for Semantic Web Service Composition.

J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

Obligations as constrainers, descriptors, and linkers of Open System of Systems.

J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

An Obligation Approach for Exception Handling in Interaction Protocols.

J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

2008

Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents.

Hind Fadil, Jean-Luc Koning

Ingénierie des Systèmes d Inf., 2008

From Obligations to Organizational Structures in Multi-Agent Systems.

J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

2006

Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems.

Hind Fadil, Jean-Luc Koning, Félix F. Ramos, Jean-Paul Jamont, Michel Occello

Int. Trans. Syst. Sci. Appl., 2006

Modeling interaction strategies using POS: An application to soccer robots.

Jean-Luc Koning, Pierre-Yves Oudeyer

Appl. Intell., 2006

Suitable Properties for Any Electronic Voting System.

Jean-Luc Koning, Didier Dubois

Artif. Intell. Law, 2006

2005

A Formal Approach to Model Multiagent Interactions Using the B Formal Method.

Hind Fadil, Jean-Luc Koning

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Rules for Translating Interaction Protocols into a B Formal Representation.

Hind Fadil, Jean-Luc Koning

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004

State Controlled Execution for Agent-Object Hybrid Languages.

Ivan Romero-Hernandez, Jean-Luc Koning

Proceedings of the Advanced Distributed Systems: Third International School and Symposium, 2004

Limitations in AUML's Roles Specification.

Jean-Luc Koning, Ivan Romero-Hernandez

Proceedings of the Intelligent Information Processing II, 2004

2003

Formalization, implementation and validation of conversation policies using a protocol operational semantics.

Jean-Luc Koning, Pierre-Yves Oudeyer

Cogn. Syst. Res., 2003

Cognitive agents and multiagent interaction.

Jean-Luc Koning, Charles X. Ling

Cogn. Syst. Res., 2003

Requirement Analysis for Interaction Protocols.

Marc-Philippe Huget, Jean-Luc Koning

Proceedings of the Multi-Agent Systems and Applications III, 2003

Interaction Protocol Engineering.

Marc-Philippe Huget, Jean-Luc Koning

Proceedings of the Communication in Multiagent Systems, 2003

Interaction Protocol Design: Application to an Agent-Based Teleteaching Project.

Jean-Luc Koning, Marc-Philippe Huget

Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

2002

Des règles d'interaction comme modèle de contrôle en univers multi-agent.

Jean-Luc Koning

Tech. Sci. Informatiques, 2002

A Review on the Interaction Issues in Agent-Based Marketplaces.

Jean-Luc Koning

Int. J. Inf. Technol. Decis. Mak., 2002

Ingénierie des protocoles d'interaction pour les systèmes multi-agents.

Marc-Philippe Huget, Jean-Luc Koning

Proceedings of the Systèmes multi-agents et systèmes complexes : ingénierie, résolution de problèmes et simulation - JFSMA 02, 2002

Dynamic Choice of Agent Interaction Protocols.

Jean-Luc Koning

Proceedings of the Intelligent Information Processing, 2002

Generating Machine Processable Representations of Textual Representations of AUML.

Jean-Luc Koning, Ivan Romero-Hernandez

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

A Simplified Protocol Operational Semantics for Multiagent Protocols.

Jean-Luc Koning

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

Introduction to POS: A Protocol Operational Semantics.

Jean-Luc Koning, Pierre-Yves Oudeyer

Int. J. Cooperative Inf. Syst., 2001

Extended Modeling Languages for Interaction Protocol Design.

Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

Designing and Testing Negotiation Protocols for Electronic Commerce Applications.

Jean-Luc Koning

Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

2000

Automata for interaction protocols in multiagent systems.

Jean-Luc Koning

Proceedings of the IEEE International Conference on Systems, 2000

Compiling a Conversation Policy's Implementation from its Validated Specification Model.

Jean-Luc Koning

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Modeling Soccer-Robots Strategies through Conversation Policies.

Pierre-Yves Oudeyer, Jean-Luc Koning

Proceedings of the Agent Systems, 2000

A Semi-Formal Specification Language Dedicated to Interaction Protocols.

Jean-Luc Koning, Marc-Philippe Huget

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

1998

Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems.

Jean-Luc Koning, Guillaume François, Yves Demazeau

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1994

A decision engine based on rational aggregation of heuristic knowledge.

Didier Dubois, Jean-Luc Koning

Decis. Support Syst., 1994