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