Jean-Marc Andreoli

Marie-Luise Schneider

Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

2007

Soft Failure Detection Using Factorial Hidden Markov Models.

[BibT_eX]

[DOI]

Guillaume Bouchard

Proceedings of the Sixth International Conference on Machine Learning and Applications, 2007

2006

Non-commutative proof construction: A constraint-based approach.

[BibT_eX]

[DOI]

Roberto Maieli

Paul Ruet

Ann. Pure Appl. Log., 2006

2005

Probabilistic Latent Clustering of Device Usage.

[BibT_eX]

[DOI]

Guillaume Bouchard

Proceedings of the Advances in Intelligent Data Analysis VI, 2005

Permutative Logic.

[BibT_eX]

[DOI]

Gabriele Pulcini

Paul Ruet

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2003

Ubiquitous negotiation games: a case study.

[BibT_eX]

[DOI]

Reinhard Brandl

Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

Negotiation as a Generic Component Coordination Primitive.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2003

Concurrent Construction of Proof-Nets.

[BibT_eX]

[DOI]

Laurent Mazaré

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Resource-Based Scripting to Stitch Distributed Components.

[BibT_eX]

[DOI]

Proceedings of the Engineering and Deployment of Cooperative Information Systems, 2002

Focussing Proof-Net Construction as a Middleware Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

A Software Infrastructure for Negotiation within Inter-organisational Alliances.

[BibT_eX]

[DOI]

Proceedings of the Agent-Mediated Electronic Commerce IV, 2002

2001

Focussing and proof construction.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2001

Towards a Flexible Middleware Negotiation Facility for Distributed Components.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000

Virtual Answers for Query Refinement in Information Retrieval.

[BibT_eX]

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

AllianceNet: Information Sharing, Negotiation and Decision-Making for Distributed Organizations.

[BibT_eX]

[DOI]

Manuel Munier

Proceedings of the Electronic Commerce and Web Technologies, 2000

1999

Distributed Print on Demand Systems in the Xpect Framework.

[BibT_eX]

[DOI]

François Pacull

Distributed Parallel Databases, 1999

The Coordination Language Facility and Applications.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Fucusing and Proof-Nets in Linear and Non-commutative Logic.

[BibT_eX]

[DOI]

Roberto Maieli

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

CLF/Mekano: a framework for building virtual-enterprise applications.

[BibT_eX]

[DOI]

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

1998

Multiparty Negotiation of Dynamic Distributed Object Services.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

Agent-Based Decision Support for Managing Print Tasks.

[BibT_eX]

Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

A Coordination System Approach to Software Workflow Process Evolution.

[BibT_eX]

[DOI]

Christer Fernström

Jean-Luc Meunier

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Static Analysis of Linear Logic Programming.

[BibT_eX]

[DOI]

Tiziana Castagnetti

New Gener. Comput., 1997

XPECT: A Framework for Electronic Commerce.

[BibT_eX]

[DOI]

François Pacull

IEEE Internet Comput., 1997

Signed Feature Constraint Solving.

[BibT_eX]

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

The Constraint-Based Knowledge Broker System.

[BibT_eX]

[DOI]

Pierre-Yves Chevalier

Boris Chidlovskii

Jutta Willamowski

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Constraints and Agents for a Decentralized Network Infrastructure.

[BibT_eX]

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996

The Coordination Language Facility: Coordination of Distributed Objects.

[BibT_eX]

Steve Freeman

Theory Pract. Object Syst., 1996

The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

Integrated Computational Paradigms for Flexible Client-Server Communication.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Process Enactment and Coordination.

[BibT_eX]

[DOI]

Jean-Luc Meunier

Daniele Pagani

Proceedings of the Software Process Technology, 5th European Workshop, 1996

1995

Constraint Agents for the Information Age.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1995

Coordination as Negotiated Transactions.

[BibT_eX]

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

Agent-based Document Construction.

[BibT_eX]

Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995

1994

Constraint-Based Knowledge Brokers.

[BibT_eX]

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Rule-Based Object Coordination.

[BibT_eX]

[DOI]

Hervé Gallaire

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Abstract Interpretation of Linear Logic Programming.

[BibT_eX]

Tiziana Castagnetti

Proceedings of the Logic Programming, 1993

Concurrency and Communication: Choices in Implementing the Coordination Language LO.

[BibT_eX]

[DOI]

Marc Bourgois

Proceedings of the Object-Based Distributed Programming, 1993

Abstract Interpretation of Concurrent Languages based on Linear Logic.

[BibT_eX]

Tiziana Castagnetti

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Logic Programming with Focusing Proofs in Linear Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 1992

Linear Objects: a Logic Framework for Open System Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Linear Ojects: Logical Processes with Built-in Inheritance.

[BibT_eX]

[DOI]

New Gener. Comput., 1991

Communication as Fair Distribution of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Dynamic Programming as Multiagent Programming.

[BibT_eX]

[DOI]

Marc Bourgois

Proceedings of the Object-Based Concurrent Computing, 1991

1990

LO and Behold! Concurrent Structured Processes.

[BibT_eX]

[DOI]

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Formulae as Active Representations of Data.

[BibT_eX]

Proceedings of the SPLT'90, 1990

Linear Objects in a Logic Processes with Built-in Inheritance.

[BibT_eX]

Proceedings of the Logic Programming, 1990

1989

Logic Programming with Sequent Systems, A Linear Logic Approach.

[BibT_eX]

[DOI]