Fareed F. Arif
AuthID: R-00G-TNH
1
TITLE: BEACON: An Efficient SAT-Based Tool for Debugging epsilon L+ Ontologies
AUTHORS: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; Joao Marques Silva ;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTHORS: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; Joao Marques Silva ;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
2
TITLE: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
3
TITLE: Efficient Axiom Pinpointing with EL2MCS
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324
