Concepedia

Jean‐Marc Andreoli

JA

15

Publications

1.3K

Citations

15

H-Index

1990

Active since

Affiliations

Xerox (France)(Current)

Jean‐Marc Andreoli is an author at Xerox (France) specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringSystem SoftwareSoftware DesignAutomated ReasoningFormal MethodsBusinessMiddlewareData Science

Publications per year

1990–2019

15

Publications

15

Logic Programming with Focusing Proofs in Linear Logic

Jean‐Marc Andreoli · Journal of Logic and Computation · 1992 · 644 citations

Linear objects: Logical processes with built-in inheritance

Jean‐Marc Andreoli, Remo Pareschi · New Generation Computing · 1991 · 240 citations

Applied Logic, Computational Logic, Linear Objects +5

Focussing and proof construction

Jean‐Marc Andreoli · Annals of Pure and Applied Logic · 2001 · 81 citations

Proof Construction, Engineering, Automated Reasoning +7

XPECT: a framework for electronic commerce

Jean‐Marc Andreoli, François Pacull, Remo Pareschi · IEEE Internet Computing · 1997 · 56 citations

Xpect Framework, Engineering, Business Intelligence +19

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

Jean‐Marc Andreoli, Uwe M. Borghoff, Remo Pareschi · Journal of Symbolic Computation · 1996 · 39 citations

Knowledge Base, Engineering, Knowledge Modeling +10

Rows per page

1–5 of 15