Jean-Luc Koning

34 papers A 1B 2C 1Misc 1Journal 12Unranked 17
YearRankTypeTitle / Venue / Authors
2012 J jnl
An obligation-based framework for web service composition via agent conversations.
Web Intell. Agent Syst.
J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning
2009 — conf
An Obligation Approach for Exception Handling in Interaction Protocols.
Web Intelligence/IAT Workshops
J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado
2009 — conf
Obligation-Based Agent Conversations for Semantic Web Service Composition.
Web Intelligence
J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning
2009 — conf
Obligations as constrainers, descriptors, and linkers of Open System of Systems.
SoSE
J. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning
2008 B conf
From Obligations to Organizational Structures in Multi-Agent Systems.
PRIMA
J. Octavio Gutiérrez-García, Jean-Luc Koning, Félix F. Ramos Corchado
2008 J jnl
Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents.
Ingénierie des Systèmes d Inf.
Hind Fadil, Jean-Luc Koning
2006 J jnl
Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems.
Int. Trans. Syst. Sci. Appl.
Hind Fadil, Jean-Luc Koning, Félix F. Ramos, Jean-Paul Jamont, Michel Occello
2006 J jnl
Modeling interaction strategies using POS: An application to soccer robots.
Appl. Intell.
Jean-Luc Koning, Pierre-Yves Oudeyer
2006 J jnl
Suitable Properties for Any Electronic Voting System.
Artif. Intell. Law
Jean-Luc Koning, Didier Dubois
2005 — conf
A Formal Approach to Model Multiagent Interactions Using the B Formal Method.
ISSADS
Hind Fadil, Jean-Luc Koning
2005 — conf
Rules for Translating Interaction Protocols into a B Formal Representation.
IAT
Hind Fadil, Jean-Luc Koning
2004 J jnl
How Electronic Voting Can Escape Arrow's Impossibility Theorem.
Res. Comput. Sci.
Jean-Luc Koning
2004 — conf
Limitations in AUML's Roles Specification.
IIP
Jean-Luc Koning, Ivan Romero-Hernandez
2004 — conf
State Controlled Execution for Agent-Object Hybrid Languages.
ISSADS
Ivan Romero-Hernandez, Jean-Luc Koning
2003 J jnl
Cognitive agents and multiagent interaction.
Cogn. Syst. Res.
Jean-Luc Koning, Charles X. Ling
2003 J jnl
Formalization, implementation and validation of conversation policies using a protocol operational semantics.
Cogn. Syst. Res.
Jean-Luc Koning, Pierre-Yves Oudeyer
2003 — conf
Interaction Protocol Design: Application to an Agent-Based Teleteaching Project.
IEEE ICCI
Jean-Luc Koning, Marc-Philippe Huget
2003 — conf
Interaction Protocol Engineering.
Communication in Multiagent Systems
Marc-Philippe Huget, Jean-Luc Koning
2003 — conf
Requirement Analysis for Interaction Protocols.
CEEMAS
Marc-Philippe Huget, Jean-Luc Koning
2002 J jnl
A Review on the Interaction Issues in Agent-Based Marketplaces.
Int. J. Inf. Technol. Decis. Mak.
Jean-Luc Koning
2002 — conf
A Simplified Protocol Operational Semantics for Multiagent Protocols.
IEEE ICCI
Jean-Luc Koning
2002 J jnl
Des règles d'interaction comme modèle de contrôle en univers multi-agent.
Tech. Sci. Informatiques
Jean-Luc Koning
2002 — conf
Dynamic Choice of Agent Interaction Protocols.
IIP
Jean-Luc Koning
2002 — conf
Generating Machine Processable Representations of Textual Representations of AUML.
AOSE
Jean-Luc Koning, Ivan Romero-Hernandez
2002 — conf
Ingénierie des protocoles d'interaction pour les systèmes multi-agents.
JFSMA
Marc-Philippe Huget, Jean-Luc Koning
2001 — conf
Designing and Testing Negotiation Protocols for Electronic Commerce Applications.
AgentLink
Jean-Luc Koning
2001 — conf
Extended Modeling Languages for Interaction Protocol Design.
AOSE
Jean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang
2001 J jnl
Introduction to POS: A Protocol Operational Semantics.
Int. J. Cooperative Inf. Syst.
Jean-Luc Koning, Pierre-Yves Oudeyer
2000 C conf
A Semi-Formal Specification Language Dedicated to Interaction Protocols.
EJC
Jean-Luc Koning, Marc-Philippe Huget
2000 B conf
Automata for interaction protocols in multiagent systems.
SMC
Jean-Luc Koning
2000 Misc conf
Compiling a Conversation Policy's Implementation from its Validated Specification Model.
PDPTA
Jean-Luc Koning
2000 — conf
Modeling Soccer-Robots Strategies through Conversation Policies.
ASA/MA
Pierre-Yves Oudeyer, Jean-Luc Koning
1998 A conf
Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems.
ECAI
Jean-Luc Koning, Guillaume François, Yves Demazeau
1994 J jnl
A decision engine based on rational aggregation of heuristic knowledge.
Decis. Support Syst.
Didier Dubois, Jean-Luc Koning