M. Fareed Arif
M. Fareed Arif
Dirección de correo verificada de uiowa.edu - Página principal
Título
Citado por
Citado por
Año
Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
MF Arif, C Mencía, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2015
272015
BEACON: An Efficient SAT-Based Tool for Debugging Ontologies
MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2016
232016
Efficient axiom pinpointing in EL using SAT technology
N Manthey, R Peñaloza, S Rudolph
29th International Workshop on Description Logics (DL 2016) 1577, 2016
152016
Efficient axiom pinpointing with EL2MCS
MF Arif, C Mencía, J Marques-Silva
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015
152015
Architectural and Behavioral Analysis for Cyber Security
K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ...
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
22019
Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. CoRR abs/1505.04365 (2015)
MF Arif, C Mencıa, J Marques-Silva
2
Security Property Lifecycle Management for Secure Service Compositions
S Hoque, A Rahim, D Llewellyn-Jones, M Merabti
Cyber Security and Privacy Forum, 67-78, 2013
12013
SYSLITE: syntax-guided synthesis of PLTL formulas from finite traces
MF Arif, D Larraz, M Echeverria, A Reynolds, O Chowdhury, C Tinelli
PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2020
2020
From μ-Calculus to Alternating Tree Automata using Parity Games
MF Arif
arXiv Report, 2016
2016
The Role of Unsatisfiable Boolean Constraints in Lightweight Description Logics
MF Arif
University College Dublin, 2016
2016
The role of unsatisfiable Boolean constraints in lightweight description logics
MF Arif
University College Dublin. School of Computer Science, 2016
2016
Towards Efficient Axiom Pinpointing of EL+ Ontologies
MF Arif, J Marques-Silva
arXiv preprint arXiv:1503.08454, 2015
2015
Logic Programming Approach for Concurrent Reachability Games
MF Arif
Technische Universität Dresden (TU Dresden), 2011
2011
ALC-LTL Formulae Generator using OWL API
MF Arif
Technische Universität Dresden (TU Dresden), 2011
2011
BEACON: An Efficient SAT-Based Tool for Debugging EL Ontologies
MF Arif, C Mencıa, A Ignatiev, N Manthey, R Penaloza, J Marques-Silva
BEACON: An Efficient SAT-Based Tool for Debugging SC+ Ontologies
R Penaloza, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2016, 521, 0
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–16