@inproceedings(krr-clima-xii,
 author       = {Marco Alberti and Ana Sofia Gomes and Gon\c{c}alves, Ricardo and Jo{\~a}o Leite and Martin Slota},
 year         = {2011},
 title        = {Normative Systems Represented as Hybrid Knowledge Bases},
 editor       = {Jo{\~a}o Leite and Paolo Torroni and {\r A}gotnes, Thomas and Guido Boella and Leon van der Torre},
 booktitle    = {Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, Proceedings},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {6814},
 publisher    = {Springer},
 address      = {Berlin},
 pages        = {330--346},
 url          = {http://dx.doi.org/10.1007/978-3-642-22359-4_23},
)
@book(Baader:2003:DLH:885746coll,
 editor       = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Patel-Schneider, Peter F.},
 year         = {2003},
 title        = {The Description Logic Handbook: Theory, Implementation, and Applications},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9780511711787},
)
@article(borgida1996relative,
 author       = {Alex Borgida},
 year         = {1996},
 title        = {On the relative expressiveness of description logics and predicate logics},
 journal      = {Artif. Intell.},
 volume       = {82},
 number       = {1-2},
 pages        = {353--367},
 doi          = {10.1016/0004-3702(96)00004-5},
)
@article(DBLP:journals/ki/KasalicaKLL20,
 author       = {Vedran Kasalica and Matthias Knorr and Jo{\~{a}}o Leite and Carlos Lopes},
 year         = {2020},
 title        = {NoHR: An Overview},
 journal      = {K{\"{u}}nstliche Intell.},
 volume       = {34},
 number       = {4},
 pages        = {509--515},
 doi          = {10.1007/s13218-020-00650-1},
)
@article(KnorrMKNF_AI,
 author       = {Matthias Knorr and Jos\'e J\'ulio Alferes and Pascal Hitzler},
 year         = {2011},
 title        = {Local closed world reasoning with description logics under the well-founded semantics},
 journal      = {Artif. Intell.},
 volume       = {175},
 number       = {9-10},
 pages        = {1528 -- 1554},
 doi          = {10.1016/j.artint.2011.01.007},
)
@article(DBLP:journals/ai/Levesque84,
 author       = {Hector J. Levesque},
 year         = {1984},
 title        = {Foundations of a Functional Approach to Knowledge Representation},
 journal      = {Artif. Intell.},
 volume       = {23},
 number       = {2},
 pages        = {155--212},
 doi          = {10.1016/0004-3702(84)90009-2},
)
@inproceedings(DBLP:conf/ijcai/Lifschitz91,
 author       = {Vladimir Lifschitz},
 year         = {1991},
 title        = {Nonmonotonic Databases and Epistemic Queries},
 editor       = {John Mylopoulos and Raymond Reiter},
 booktitle    = {12th International Joint Conference on Artificial Intelligence (IJCAI 1991)},
 publisher    = {Morgan Kaufmann},
 address      = {San Francisco, CA, USA},
 pages        = {381--386},
)
@article(LiuYou_AI2017_HKB_WFS,
 author       = {Fangfang Liu and Jia-Huai You},
 year         = {2017},
 title        = {Three-valued semantics for hybrid MKNF knowledge bases revisited},
 journal      = {Artificial Intelligence},
 volume       = {252},
 number       = {Supplement C},
 pages        = {123 -- 138},
 doi          = {10.1016/j.artint.2017.08.003},
 url          = {http://www.sciencedirect.com/science/article/pii/S0004370217300917},
)
@inproceedings(DBLP:conf/lpnmr/LopesKL17,
 author       = {Carlos Lopes and Matthias Knorr and Jo{\~{a}}o Leite},
 year         = {2017},
 title        = {NoHR: Integrating {XSB} Prolog with the {OWL} 2 Profiles and Beyond},
 editor       = {Marcello Balduccini and Tomi Janhunen},
 booktitle    = {14th International Conference on Logic Programming and Non-monotonic Reasoning ({LPNMR} 2017)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10377},
 publisher    = {Springer},
 pages        = {236--249},
 doi          = {10.1007/978-3-319-61660-5\_22},
)
@article(MotikRosatiMKNF_J_ACM,
 author       = {Boris Motik and Riccardo Rosati},
 year         = {2010},
 title        = {Reconciling Description Logics and Rules},
 journal      = {J. ACM},
 volume       = {57},
 number       = {5},
 pages        = {30:1--30:62},
 doi          = {10.1145/1754399.1754403},
)
@inproceedings(Przy89d,
 author       = {Teodor C. Przymusinski},
 year         = {1989},
 title        = {Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model},
 booktitle    = {Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-1989)},
 publisher    = {ACM Press},
 pages        = {11--21},
 url          = {http://doi.acm.org/10.1145/73721.73723},
)
@inproceedings(Reiter1990,
 author       = {Raymond Reiter},
 year         = {1990},
 title        = {On Asking What a Database Knows},
 editor       = {John W. Lloyd},
 booktitle    = {Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {96--113},
 doi          = {10.1007/978-3-642-76274-1\_4},
)
@article(RigSwi11-ICLP11-IJ,
 author       = {Fabrizio Riguzzi and Terrance Swift},
 year         = {2011},
 title        = {The {PITA} System: Tabling and Answer Subsumption for Reasoning under Uncertainty},
 journal      = {Theor. Pract. Log. Prog.},
 volume       = {11},
 number       = {4--5},
 pages        = {433--449},
 doi          = {10.1017/S147106841100010X},
)
@inproceedings(DBLP:conf/iclp/Sato95,
 author       = {Taisuke Sato},
 year         = {1995},
 title        = {A Statistical Learning Method for Logic Programs with Distribution Semantics},
 editor       = {Leon Sterling},
 booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995},
 publisher    = {MIT Press},
 pages        = {715--729},
 doi          = {10.7551/mitpress/4298.003.0069},
)
@inproceedings(DBLP:conf/dlog/Sattler03,
 author       = {U. Sattler and D. Calvanese and R. Molitor},
 year         = {2003},
 title        = {Relationships with other Formalisms},
 booktitle    = {Description Logic Handbook},
 pages        = {137--177},
 doi          = {10.5555/885746.885751},
)
@article(ZesBelRig16-AMAI-IJ,
 author       = {Riccardo Zese and Elena Bellodi and Fabrizio Riguzzi and Giuseppe Cota and Evelina Lamma},
 year         = {2018},
 title        = {Tableau Reasoning for Description Logics and its Extension to Probabilities},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {82},
 number       = {1--3},
 pages        = {101--130},
 doi          = {10.1007/s10472-016-9529-3},
)
@article(DBLP:journals/tplp/ZeseCLBR19,
 author       = {Riccardo Zese and Giuseppe Cota and Evelina Lamma and Elena Bellodi and Fabrizio Riguzzi},
 year         = {2019},
 title        = {Probabilistic {DL} Reasoning with Pinpointing Formulas: {A} Prolog-based Approach},
 journal      = {Theor. Pract. Log. Prog.},
 volume       = {19},
 number       = {3},
 pages        = {449--476},
 doi          = {10.1017/S1471068418000480},
)