Alain Beauvieux

Publication Activity (10 Years)

Years Active: 1988-1990
Publications (10 Years): 0

Publications

Alain Beauvieux, Philippe Dague
A General Consistency (Checking and Restoring) Engine for Knowledge Bases. ECAI (1990)
Alain Beauvieux
A Method to Check Knowledge Base Consistency. FSTTCS (1988)