Michel Cayrol (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

Selection of 2 from 6 records - Michel Cayrol has 7 coauthors

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)