Title
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.
Year
DOI
Venue
2011
10.1007/978-3-642-23954-0_17
AI*IA
Field
DocType
Citations 
Logical consequence,Computer science,Description logic,Normalization property,Non-monotonic logic,Knowledge base,Defeasible estate,Calculus,Computation
Conference
5
PageRank 
References 
Authors
0.47
14
4
Name
Order
Citations
PageRank
Laura Giordano111516.64
Valentina Gliozzi232730.99
Nicola Olivetti361654.51
Gian Luca Pozzato439436.96