Philippe Bonnot

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Description Logics

Collaborative Learning Activities

Mathematics And Computer Science

Top Venues

Description Logics

Ingénierie des Systèmes d Inf.

Publications

Thinh Dong, Myriam Lamolle, Chan Le Duc, Philippe Bonnot
Moteur de révision d'ontologie en SHIQ. Ingénierie des Systèmes d Inf. 23 (2) (2018)
Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle
Tableau-based revision in SHIQ. Description Logics (2015)
Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle
TBoxes. LPAR (2015)
Marianne Simonot, M. Homps, Philippe Bonnot
Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. CSEDU (2) (2012)