Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing.

M. Fareed Arif Carlos Mencía João Marques-Silva

Published in: CoRR (2015)

Keyphrases

computationally expensive
artificial intelligence
computationally efficient
databases
information retrieval
knowledge representation
cost effective
comparative analysis