Alain Beauvieux
École Nationale d'Ingénieurs de Saint-Étienne(FR)Sorbonne Université(FR)
Publications by Year
Research Areas
Semantic Web and Ontologies, AI-based Problem Solving and Planning, Logic, Reasoning, and Knowledge, Advanced Database Systems and Queries, Cultural Insights and Digital Impacts
Most-Cited Works
- A general consistency (checking and restoring) engine for knowledge bases(1990)
- → Les outils de la veille(2008)2 cited
- → A method to check knowledge base consistency(1988)1 cited
- Consistency, soundness and completeness of a diagnosis system(1991)
- Jasmin : controle et construction d'une base de connaissance(1989)