Login / Signup
Olivier Palmade
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
Michel Cayrol
,
Olivier Palmade
,
Thomas Schiex
A Fixed Point Semantics for the ATMS.
J. Log. Comput.
3 (2) (1993)
Claudette Cayrol
,
Michel Cayrol
,
Olivier Palmade
New Techniques for Inference in Assumption-Based Truth Maintenance Systems.
ICTAI
(1993)