Efficient Reasoning for Inconsistent Horn Formulae

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48758-8_22 ◽

2016 ◽

pp. 336-352 ◽

Cited By ~ 4

Author(s):

Joao Marques-Silva ◽

Alexey Ignatiev ◽

Carlos Mencía ◽

Rafael Peñaloza

Download Full-text