Mohamed Chaabani

Publication Activity (10 Years)

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

Top Topics

Logical Foundations

Description Logic Alc

Top Venues

Description Logics

Publications

Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche
A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. MEDI (2018)
Mohamed Chaabani, Rachid Echahed, Martin Strecker
Logical Foundations for Reasoning about Transformations of Knowledge Bases. ICTERI (2013)
Mohamed Chaabani, Rachid Echahed, Martin Strecker
Logical Foundations for Reasoning about Transformations of Knowledge Bases. Description Logics (2013)
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Formal verification of a proof procedure for the description logic ALC. SCSS (2012)