Jean-Marc Andreoli

An Axiomatic Approach to Structural Rules for Locative Linear Logic
Andreoli, J-M.
In Ehrhard, T., Girard, J-Y., Ruet, P. and Scott, P. editors: Linear Logic in Computer Science , Cambridge University Press, 2004

Coordination as Negotiated Transactions
Andreoli, J-M.
In Freitag, B., Jones, C., Lengauer, C. and Scheck, H-J. editors: Object Orientation with Parallelism and Persistence , Kluwer Academic, 1996

Coordination in LO
Andreoli, J-M.
In Andreoli, J-M., Hankin, C. and Le Metayer, D. editors: Coordination Programming: Mechanisms, Models and Semantics , Imperial College Press, 1996

Interaction Abstract Machines
Andreoli, J-M., Ciancarini, P., Pareschi, R.
In Agha, G., Wegner, P. and Yonezawa, A. editors: Research Directions in Concurrent Object Oriented Programming , MIT Press, 1993

Proof Construction in Non-Commutative Logic: a Constraint Based approach
Andreoli, J-M., Maieli, R., Ruet, P.
Annals of Pure and Applied Logic, 142(1-3), pp 212--244, 2006

E-Alliance: A Negotiation Infrastructure for Virtual Alliances
Andreoli, J-M., Castellani, S., Boissier, O., Bratu, M., Alloui, I., Megzari, K.
Group Decision and Negotiation, 12(2), pp 127--141, 2003

Focussing and Proof Construction
Andreoli, J-M.
Annals of Pure and Applied Logic, 107(1), pp 131--163, 2001

Distributed Print on Demand Systems in the Xpect Framework
Andreoli, J-M., Pacull, F.
Journal of Distributed and Parallel Databases, 7(2), 1999

Multiparty Negotiation for Dynamic Distributed Object Services
Andreoli, J-M., Pagani, D., Pacull, F., Pareschi, R.
Science of Computer Programming, 31(2 3), pp 179--203, 1998

Static Analysis of Linear Logic Programming
Andreoli, J-M., Castagnetti, T., Pareschi, R.
New Generation Computing, 15(4), pp 449--481, 1997

Xpect: A Framework for Electronic Commerce
Andreoli, J-M., Pacull, F., Pareschi, R.
IEEE Internet Computing, 1(4), pp 40--48, 1997

The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis
Andreoli, J-M., Borghoff, U., Pareschi, R.
Journal of Symbolic Computation, 21(4), pp 635--667, 1996

The Coordination Language Facility: Coordination of Distributed Objects
Andreoli, J-M., Freeman, S., Pareschi, R.
Theory and Practice of Object Systems, 2(2), pp 77--94, 1996

Integrated Computational Paradigms for Flexible Client-Server Communication
Andreoli, J-M., Pareschi, R.
ACM Computing Surveys, 28(2), pp 295--297, 1996

Constraint Agents for the Information Age
Andreoli, J-M., Borghoff, U., Pareschi, R., Schlichter, J.
Journal of Universal Computer Science, 1(12), pp 762--789, 1995

Logic Programming with Focusing Proofs in Linear Logic
Andreoli, J-M.
Journal of Logic and Computation, 2(3), 1992

Linear Objects: Logical Processes with Built-in Inheritance
Andreoli, J-M., Pareschi, R.
New Generation Computing, 9(3 4), pp 445--473, 1991

ADRES: une Application Industrielle des Systèmes Experts
Andreoli, J-M., Rey, J-P.
Revue d'Intelligence Artificielle, 1, 1986

Soft Failure Detection using Factorial Hidden Markov Models
Bouchard, G., Andreoli, J-M.
In proc. of International Conference on Machine Learning and Applications (ICMLA), Cincinnati, Oh, U.S.A., 2007

Probabilistic Latent Clustering of Device Usage
Andreoli, J-M., Bouchard, G.
In proc. of 6th International Symposium on Intelligent Data Analysis (IDA), Madrid, Spain, 2005

Permutative Logic
Andreoli, J-M., Pulcini, G., Ruet, P.
In proc. of Computer Science Logic (CSL), Oxford, U.K., 2005

Constraint-based Decision-Makers in Negotiation Processes
Andreoli, J-M., Castellani, S.
In proc. of IFIP International Conference on Decision Support Systems (DSS), Prato, Italy, 2004

Negotiation as a Generic Component Coordination Primitive
Andreoli, J-M., Castellani, S.
In proc. of Distributed Applications and Interoperable Systems (DAIS), Paris, France, 2003

Concurrent Construction of Proof-Nets
Andreoli, J-M., Mazaré, L.
In proc. of Computer Science Logic (CSL), Wien, Austria, 2003

Augmenting Offices with Ubiquitous Sensing
Andreoli, J-M., Castellani, S., Grasso, A., Meunier, J-L., Mühlenbrock, M., O Neill, J., Ragnet, F., Roulland, F., Snowdon, D.
In proc. of Smart Objects Conference (SOC), Grenoble, France, 2003

Focussing Proof-Net Construction as a Middleware Paradigm
Andreoli, J-M.
In proc. of 18th International Conference on Automated Deduction (CADE), Copenhagen, Denmark, 2002

Resource-Based Scripting to Stitch Distributed Components
Andreoli, J-M., Arregui, D., Pacull, F., Willamowski, J.
In proc. of 1st International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS), Beijing, China, 2002

E-Alliance: A Software Infrastructure for Concurrent Inter-Organisational Alliances
Andreoli, J-M., Alloui, I., Boissier, O., Bratu, M., Castellani, S., Megzari, K.
In proc. of Conference on Concurrent Engineering (CE), Cranfield, U.K., 2002

Virtual Answers for Query Refinement in Information Retrieval
Andreoli, J-M., Borghoff, U.
In proc. of Conference on Practical Applications of Constraint Logic Programming (PACLP), Manchester, U.K., 2000

Focussing and Proof-Nets in Linear and Non-Commutative Logic
Andreoli, J-M., Maieli, R.
In proc. of 6th Conference on Logic in Programming and Automated Reasoning (LPAR), Tbilisi, Republic of Georgia, 1999

CLF/Mekano: a Framework for Building Virtual-Enterprise Applications
Andreoli, J-M., Arregui, D., Pacull, F., Riviere, M., Vion-Dury, J-Y., Willamowski, J.
In proc. of Enterprise Distributed Object Computing Conference (EDOC), Manheim, Germany, 1999

Simulation for Document Print Management
Andreoli, J-M., Castellani, S.
In proc. of 11th European Simulation Symposium (ESS), Erlangen, Germany, 1999

The Coordination Language Facility and Applications
Andreoli, J-M.
In proc. of 4th International Conference on Typed Lambda Calculus and Applications (TLCA), L'Aquila, Italy, 1999

Distributed Print on Demand Systems in the Xpect Framework
Andreoli, J-M., Pacull, F.
In proc. of IFIP Conference on Trends in Electronic Commerce (TrEC), Hamburg, Germany, 1998

A Coordination System Approach to Software Workflow Process Evolution
Andreoli, J-M., Fernström, C., Meunier, J-L.
In proc. of Conference on Automated Software Engineering (ASE), Honolulu, Ha, U.S.A., 1998

Zippin: towards a graphical decision support tool
Andreoli, J-M., Castellani, S., Glance, N.
In proc. of Conference on Concurrent Engineering (CE), Tokyo, Japan, 1998

Agent-Based Decision Support for Managing Print Tasks
Andreoli, J-M., Castellani, S., Borghoff, U., Pareschi, R., Teege, G.
In proc. of 3rd Conference on Practical Applications of Intelligent Agents and Multi-Agents (PAAM), London, U.K., 1998

The Constraint-Based Knowledge Broker System
Andreoli, J-M., Borghoff, U., Chevalier, P-Y., Chidlovskii, B., Pareschi, R., Willamowski, J.
In proc. of 13th International Conference on Data Engineering (ICDE), Birmingham, U.K., 1997

Signed Feature Constraint Solving
Andreoli, J-M., Borghoff, U., Pareschi, R.
In proc. of Conference on Practical Applications of Constraint Technology (PACT), London, U.K., 1997

Process Enactment and Coordination
Andreoli, J-M., Meunier, J-L., Pagani, D.
In proc. of 5th European Workshop on Software Process Technology (EWSPT), Nancy, France, 1996

Constraint Based Knowledge Brokers
Andreoli, J-M., Borghoff, U., Pareschi, R.
In proc. of 1st Conference on Parallel Symbolic Computation (PASCO), Linz, Austria, 1994

Objects Meet Rules
Andreoli, J-M., Gallaire, H., Pareschi, R.
In proc. of Object World, Frankfurt, Germany, 1994

Abstract Interpretation of Linear Logic Proofs
Andreoli, J-M., Castagnetti, T., Pareschi, R.
In proc. of 10th Symposium on Logic Programming (ILPS), Vancouver, BC, Canada, 1993

True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
Andreoli, J-M., Leth, L., Pareschi, R., Thomsen, B.
In proc. of 5th Conference on Theory and Practice of Software Development (TAPSOFT), Orsay, France, 1993

Communication as Fair Distribution of Knowledge
Andreoli, J-M., Pareschi, R.
In proc. of 6th Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Phoenix, Az, U.S.A., 1991

LO and Behold! Concurrent Structured Processes
Andreoli, J-M., Pareschi, R.
In proc. of 5th Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Ottawa, Canada, 1990

Linear Objects: Logical Processes with Built-in Inheritance
Andreoli, J-M., Pareschi, R.
In proc. of 7th International Conference on Logic Programming (ICLP), Jerusalem, Israel, 1990

Logic Programming with Sequent Systems: a Linear Logic Approach
Andreoli, J-M., Pareschi, R.
In proc. of 1st Workshop on Extensions of Logic Programming, Tübingen, Germany, 1990

Formulae as Active Representation of Data
Andreoli, J-M., Pareschi, R.
In proc. of 9th Séminaire sur la Programmation Logique, Tregastel, France, 1990

Ubiquitous negotiation games: a case study
Andreoli, J-M., Brandl, R., Castellani, S.
Proc. of DEXA workshop on E-Negotiations, Prag, Check Republic , 2003

A Software Infrastructure for Negotiation within Inter-Organisational Alliances
Andreoli, J-M., Bratu, M., Boissier, O., Castellani, S.
Proc. of AAMAS'2002 workshop on Agent Mediated Electronic Commerce (AMEC), Bologna, Italy , 2002

Towards a Flexible Middleware Negotiation Facility for Distributed Components
Andreoli, J-M., Castellani, S.
Proc. of DEXA workshop on E-Negotiations, Munich, Germany , 2001

AllianceNet: Information Sharing, Negotiation and Decision-Making for Distributed Organisations
Andreoli, J-M., Castellani, S., Munier, M.
Proc. of International DEXA workshop on Electronic Commerce and the Web (EcWeb), Greenwich, U.K. , 2000

Applying the Broadway Recommendation Approach to Query Refinement in CBKB
Andreoli, J-M., Jaczynski, M., Kanawati, R., Trousse, B.
Proc. of RAPC'99, Palaiseau, France , 1999

Constraints and Agents for a Decentralized Network Infrastructure
Andreoli, J-M., Borghoff, U., Pareschi, R., Bistarelli, S., Montanari, U., Rossi, F.
Proc. of the AAAI'97 workshop on Constraints and Agents, Providence, RI, U.S.A. , 1997

Programming in ForumTalk
Andreoli, J-M.
Preprint, Rank Xerox Research Centre, Grenoble, France, 1995

Rule-based Object Coordination
Andreoli, J-M., Gallaire, H., Pareschi, R.
Proc. of ECOOP'94 Workshop on Coordination, Bologna, Italy , 1994

Parallel Searching with Multisets as Agents
Andreoli, J-M., Ciancarini, P., Pareschi, R.
Proc. of AAAI'93 Spring Symposium on Innovative Applications and Massive Parallelism, Standford, Ca, U.S.A , 1993

Concurrency and Communication: Choices in Implementing the Coordination Language LO
Bourgois, M., Andreoli, J-M., Pareschi, R.
Proc. of the ECOOP'93 workshop on Object Based Distributed Programming, Kaiserslautern, Germany , 1993

Extending Objects with Rules, Composition and Concurrency: the LO Experience
Bourgois, M., Andreoli, J-M., Pareschi, R.
Proc. of the OOPSLA'92 workshop on Object-Oriented Programming Languages - The Next Generation, Vancouver, Canada , 1992

Dynamic Programming as Multi-agent Programming
Andreoli, J-M., Pareschi, R., Bourgois, M.
Proc. of the OOPSLA'90/ECOOP'91 workshop on Object-based concurrent computing, Genève, Switzerland , 1991

From Lambek Calculus to Word-based Parsing
Andreoli, J-M., Pareschi, R.
Proc. of the Workshop on Substructural Logic and Categorial Grammar, München, Germany , 1991

Paradigmes de Programmation et Fondements Logiques
Andreoli, J-M.
Habilitation thesis, Université de Grenoble, Grenoble, France, 2001

Proposition pour une Synthèse des Paradigmes de la Programmation Logique et de la Programmation par Objets
Andreoli, J-M.
PhD thesis, Université de Paris 6, Paris, France, 1990

Tree induction of temporal events
Andreoli, J-M., Bouchard, G.
Invention Disclosure Xerox 20071026, status: submitted , 2007

Factorial Hidden Markov Models with Discrete Observations
Andreoli, J-M., Bouchard, G.
Invention Disclosure Xerox 20061303, status: filed , 2006

Soft Failure Detection Using Factorial Hidden Markov Models
Andreoli, J-M., Bouchard, G., Ciriza, V.
Invention Disclosure Xerox 20051622, status: filed , 2005

Probabilistic Latent Clustering of Device Usage
Andreoli, J-M., Bouchard, G.
Invention Disclosure Xerox 20050139, status: filed at USPTO publication 20060206445 , 2005

A System to Integrate Constraint-Solvers into Negotiation Processes
Andreoli, J-M., Castellani, S.
Invention Disclosure Xerox 20030622, status: filed at USPTO publication 20050108036 , 2003

A method to support resource negotiation among arbitrary components
Andreoli, J-M., Castellani, S.
Invention Disclosure Xerox 20011154, status: filed at USPTO publications 20040083186 and 20040083187 , 2001

A method to combine search and transaction mechanisms for the coordination of software activities
Andreoli, J-M., Pacull, F., Meunier, J-L.
Invention Disclosure Xerox 098038, status: granted as US patent 6,732,361 on May 4, 2004 , 1998

Systems and Methods Providing Flexible Representation of Work
Andreoli, J-M., Castellani, S., Glance, N., Pagani, D., Pareschi, R., Teege, G.
Invention Disclosure Xerox 096???, status: granted as US patent 6,725,428 on April 20, 2004 , 1996

Solving feature constraints for request/answer specification and for search state representation within a knowledge retrieval engine
Andreoli, J-M., Borghoff, U.
Invention Disclosure Xerox 095???, status: granted as US patent 6,735,622 on May 11, 2004 and as US patent 7,020,670 on March 28, 2006 , 1995