Axiom-Pinpointing in Description Logics and Beyond

,2012, 引用: 50

,2011, 引用: 0

european conference on logics in artificial intelligence,2014, 引用: 14

international workshop description logics,2014, 引用: 1

international workshop description logics,2014, 引用: 1

international joint conference on artificial intelligence,2015, 引用: 1

Theory and Applications of Satisfiability Testing – SAT 2016,2016, 引用: 16

Joint Workshop of the German Research Training Groups in Computer Science,2014, 引用: 15

european conference on logics in artificial intelligence,2016, 引用: 7

rules and rule markup languages for the semantic web,2017, 引用: 4