Efficient reasoning for inconsistent horn formulae

TitleEfficient reasoning for inconsistent horn formulae
Publication TypeConference Paper
Year of Publication2016
AuthorsMarques-Silva, J., A. Ignatiev, C. Mencía, and R. Peñaloza
Conference NameEuropean Conference on Logics in Artificial Intelligence
PublisherSpringer