dblp.uni-trier.dewww.uni-trier.de

Michel Cayrol Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
6EEMichel Cayrol, Pierre Régnier, Vincent Vidal: Least commitment in Graphplan. Artif. Intell. 130(1): 85-118 (2001)
2000
5 Michel Cayrol, Pierre Régnier, Vincent Vidal: New Results about LCGP, a Least Committed GraphPlan. AIPS 2000: 273-282
1997
4 Thierry Castell, Michel Cayrol: Hidden Gold in Random Generation of SAT Satisfiable Instances. IJCAI (1) 1997: 372-377
1996
3 Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre: Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. ECAI 1996: 350-354
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

1Daniel Le Berre [3]
2Thierry Castell [3] [4]
3Claudette Cayrol [2] [3]
4Olivier Palmade [1] [2]
5Pierre Régnier [5] [6]
6Thomas Schiex [1]
7Vincent Vidal [5] [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)