Alain Beauvieux

According to our database, Alain Beauvieux authored at least 2 papers between 1988 and 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1990

A General Consistency (Checking and Restoring) Engine for Knowledge Bases.

Alain Beauvieux, Philippe Dague

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988

A Method to Check Knowledge Base Consistency.

Alain Beauvieux

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988