Olivier Palmade

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

2 Claudette Cayrol, Michel Cayrol, Olivier Palmade: New Techniques for Inference in Assumption-Based Truth Maintenance Systems. ICTAI 1993: 404-407

1 Michel Cayrol, Olivier Palmade, Thomas Schiex: A Fixed Point Semantics for the ATMS. J. Log. Comput. 3(2): 115-130 (1993)

	1993
2		Claudette Cayrol, Michel Cayrol, Olivier Palmade: New Techniques for Inference in Assumption-Based Truth Maintenance Systems. ICTAI 1993: 404-407
1		Michel Cayrol, Olivier Palmade, Thomas Schiex: A Fixed Point Semantics for the ATMS. J. Log. Comput. 3(2): 115-130 (1993)

Coauthor Index

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page