150 citations · 619 across the 52 of their papers we have counts for
Showing 2015 · cs.LOShow all
3 papers · 2 filters
cs.LO2015★ 1 cited
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
M. Fareed Arif, Carlos Mencía, Joao Marques-Silva
The enumeration of minimal unsatisfiable subsets (MUSes) finds a growing number of practical applications, that includes a wide range of diagnosis problems. As a concrete example,…
cs.LO2015★ 12 cited
Computing maximal autarkies with few and simple oracle queries
Oliver Kullmann, Joao Marques-Silva
We consider the algorithmic task of computing a maximal autarky for a clause-set F, i.e., a partial assignment which satisfies every clause of F it touches, and where this property…
cs.LO2015
Towards Efficient Axiom Pinpointing of EL+ Ontologies
M. Fareed Arif, Joao Marques-Silva
The EL family of Description Logics (DLs) has been the subject of interest in recent years. On the one hand, these DLs are tractable, but fairly inexpressive. On the other hand, th…