共 24 条
[1]
Leone N(2006)The DLV system for knowledge representation and reasoning ACM Trans Comput Log 7 499-562
[2]
Pfeifer G(1991)Classical negation in logic programs and disjunctive databases New Gener Comput 9 365-385
[3]
Faber W(2007)Optimizing terminological reasoning for expressive description logics J Autom Reason 39 277-316
[4]
Eiter Th(2008)On the scalability of description logic instance retrieval J Autom Reason 41 99-142
[5]
Gottlob G(2010)Small is again beautiful in description logics Künstl Intell 24 25-33
[6]
Perri S(2010)Reconciling description logics and rules J ACM 57 1-62
[7]
Scarcello F(1993)Probabilistic Horn abduction and Bayesian networks Artif Intell 64 81-129
[8]
Gelfond M(2010)Deduktion: von der Theorie zur Anwendung Inform-Spektrum 33 444-451
[9]
Lifschitz V(1986)Probabilistic logic Artif Intell 28 71-87
[10]
Tsarkov D(undefined)undefined undefined undefined undefined-undefined