Formal verification of a proof procedure for the description logic ALC
Chaabani, Mohamed, Mezghiche, Mohamed, Strecker, Martin
Published in Electronic proceedings in theoretical computer science (30.07.2013)
Published in Electronic proceedings in theoretical computer science (30.07.2013)
Get full text
Journal Article
Network Intrusion Detection System Using Neural Network and Condensed Nearest Neighbors with Selection of NSL-KDD Influencing Features
Belgrana, Fatima Zohra, Benamrane, Nacera, Hamaida, Mohamed Amine, Mohamed Chaabani, Abdellah, Taleb-Ahmed, Abdelmalik
Published in 2020 IEEE International Conference on Internet of Things and Intelligence System (IoTaIS) (27.01.2021)
Published in 2020 IEEE International Conference on Internet of Things and Intelligence System (IoTaIS) (27.01.2021)
Get full text
Conference Proceeding
Formal verification of a proof procedure for the description logic ALC
Get full text
Paper
Journal Article