@inproceedings(andresel,
 author       = {Andre\c{s}el, M. and J. Corman and M. Ortiz and J.L. Reutter and O. Savkovic and M. Simkus},
 year         = {2020},
 title        = {Stable model semantics for recursive {SHACL}},
 booktitle    = {Proceedings of {WWW}},
 pages        = {1570--1580},
 doi          = {10.1145/3366423.3380229},
)
@book(book/AntoniouGHH12,
 author       = {Grigoris Antoniou and Paul Groth and Frank van Harmelen and Rinke Hoekstra},
 year         = {2012},
 title        = {A Semantic Web Primer, 3rd Edition},
 publisher    = {{MIT} Press},
)
@book(dlintro,
 author       = {F. Baader and I. Horrocks and C. Lutz and U. Sattler},
 year         = {2017},
 title        = {An Introduction to Description Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781139025355},
)
@inproceedings(aaai/Bogaerts19,
 author       = {Bart Bogaerts},
 year         = {2019},
 title        = {Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory},
 booktitle    = {Proceedings of {AAAI}},
 pages        = {2686--2693},
 doi          = {10.1609/aaai.v33i01.33012686},
)
@article(ai/BogaertsC18,
 author       = {Bart Bogaerts and Cruz-Filipe, {Lu\'\i s}},
 year         = {2018},
 title        = {Fixpoint Semantics for Active Integrity Constraints},
 journal      = {{AIJ}},
 volume       = {255},
 pages        = {43--70},
 doi          = {10.1016/j.artint.2017.11.003},
)
@article(tocl/BogaertsC21,
 author       = {Bart Bogaerts and Cruz{-}Filipe, Lu{\'{\i}}s},
 year         = {2021},
 title        = {Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {22},
 number       = {1},
 pages        = {6:1--6:19},
 doi          = {10.1145/3430750},
)
@article(ruleml/BogaertsJV21,
 author       = {Bart Bogaerts and Maxime Jakubowski and Jan Van den Bussche},
 year         = {2021},
 title        = {SHACL: A Description Logic in Disguise},
 journal      = {CoRR},
 volume       = {abs/2108.06096},
)
@article(ai/BogaertsVD15,
 author       = {Bart Bogaerts and Joost Vennekens and Marc Denecker},
 year         = {2015},
 title        = {Grounded fixpoints and their applications in knowledge representation},
 journal      = {{AIJ}},
 volume       = {224},
 pages        = {51--71},
 doi          = {10.1016/j.artint.2015.03.006},
)
@inproceedings(shex,
 author       = {I. Boneva and J.E. Labro Gayo and E.G. Prud'hommeaux},
 year         = {2017},
 title        = {Semantics and validation of shape schemas for {RDF}},
 booktitle    = {Proceedings of {ISWC}},
 pages        = {104--120},
 doi          = {10.1007/978-3-319-68288-4_7},
)
@inproceedings(ijcai/BrewkaSEWW13,
 author       = {Gerhard Brewka and Hannes Strass and Stefan Ellmauthaler and Johannes Peter Wallner and Stefan Woltran},
 year         = {2013},
 title        = {Abstract Dialectical Frameworks Revisited},
 booktitle    = {Proceedings of {IJCAI}},
 pages        = {803--809},
 doi          = {10.5555/2540128.2540245},
)
@article(tplp/CharalambidisRS18,
 author       = {Angelos Charalambidis and Panos Rondogiannis and Ioanna Symeonidou},
 year         = {2018},
 title        = {Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs},
 journal      = {{TPLP}},
 volume       = {18},
 number       = {3-4},
 pages        = {421--437},
 doi          = {10.1017/S1471068418000108},
)
@inproceedings(corman,
 author       = {J. Corman and J.L. Reutter and O. Savkovic},
 year         = {2018},
 title        = {Semantics and validation of recursive {SHACL}},
 booktitle    = {Proceedings of {ISWC}},
 pages        = {318--336},
 note         = {Extended version, technical report \href{https://www.inf.unibz.it/krdb/tech-reports/}{KRDB18-01}},
)
@article(WarrenBook/DeCatBBD14,
 author       = {{De Cat}, Broes and Bart Bogaerts and Maurice Bruynooghe and Gerda Janssens and Marc Denecker},
 year         = {2016},
 title        = {Predicate Logic as a Modelling Language: The {IDP} System},
 journal      = {CoRR},
 volume       = {abs/1401.6312v2},
 doi          = {10.1145/3191315.3191321},
)
@inproceedings(DeneckerMT00,
 author       = {Marc Denecker and Victor Marek and Miros{\l}aw Truszczy{\'n}ski},
 year         = {2000},
 title        = {Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning},
 booktitle    = {Logic-Based Artificial Intelligence},
 pages        = {127--144},
 doi          = {10.1007/978-1-4615-1567-8_6},
)
@article(DeneckerMT03,
 author       = {Marc Denecker and Victor Marek and Miros{\l}aw Truszczy{\'n}ski},
 year         = {2003},
 title        = {Uniform semantic treatment of default and autoepistemic logics},
 journal      = {{AIJ}},
 volume       = {143},
 number       = {1},
 pages        = {79--122},
 doi          = {10.1016/S0004-3702(02)00293-X},
)
@article(DeneckerMT04,
 author       = {Marc Denecker and Victor Marek and Miros{\l}aw Truszczy{\'n}ski},
 year         = {2004},
 title        = {Ultimate approximation and its application in nonmonotonic knowledge representation systems},
 journal      = {Information and Computation},
 volume       = {192},
 number       = {1},
 pages        = {84--121},
 doi          = {10.1016/j.ic.2004.02.004},
)
@inproceedings(KR/DeneckerV14,
 author       = {Marc Denecker and Joost Vennekens},
 year         = {2014},
 title        = {The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited},
 booktitle    = {Proceedings of KR},
 pages        = {22--31},
 doi          = {10.5555/3031929.3031933},
)
@article(tcs/Fitting02,
 author       = {Melvin Fitting},
 year         = {2002},
 title        = {Fixpoint semantics for logic programming --- {A} survey},
 journal      = {Theoretical Computer Science},
 volume       = {278},
 number       = {1-2},
 pages        = {25--51},
 doi          = {10.1016/S0304-3975(00)00330-3},
)
@inproceedings(ai/LiuBCYF16,
 author       = {Fangfang Liu and Yi Bi and Md. Solimul Chowdhury and Jia{-}Huai You and Zhiyong Feng},
 year         = {2016},
 title        = {Flexible Approximators for Approximating Fixpoint Theory},
 booktitle    = {Proceedings of Canadian {AI}},
 pages        = {224--236},
 doi          = {10.1007/978-3-319-34111-8_28},
)
@misc(owldl,
 year         = {2012},
 title        = {{OWL}~2 {W}eb Ontology Language: {S}tructural Specification and Functional-Style Syntax},
 howpublished = {W3C Recommendation},
)
@article(tplp/PelovDB07,
 author       = {Nikolay Pelov and Marc Denecker and Maurice Bruynooghe},
 year         = {2007},
 title        = {Well-founded and Stable Semantics of Logic Programs with Aggregates},
 journal      = {TPLP},
 volume       = {7},
 number       = {3},
 pages        = {301--353},
 doi          = {10.1017/S1471068406002973},
)
@misc(rdf11primer,
 year         = {2014},
 title        = {{RDF} 1.1 Primer},
 howpublished = {W3C Working Group Note},
 url          = {https://www.w3.org/TR/rdf11-primer/},
)
@misc(shacl,
 year         = {2017},
 title        = {Shapes Constraint Language ({SHACL})},
 howpublished = {W3C Recommendation},
 url          = {https://www.w3.org/TR/shacl/},
)
@article(journals/ai/Strass13,
 author       = {Hannes Strass},
 year         = {2013},
 title        = {Approximating operators and semantics for abstract dialectical frameworks},
 journal      = {{AIJ}},
 volume       = {205},
 pages        = {39--70},
 doi          = {10.1016/j.artint.2013.09.004},
)
@article(amai/Truszczynski06,
 author       = {Miros{\l}aw Truszczy{\'n}ski},
 year         = {2006},
 title        = {Strong and uniform equivalence of nonmonotonic theories - an algebraic approach},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {48},
 number       = {3-4},
 pages        = {245--265},
 doi          = {10.1007/s10472-007-9049-2},
)
@article(jacm/EmdenK76,
 author       = {{van Emden}, Maarten H. and Robert A. Kowalski},
 year         = {1976},
 title        = {The Semantics of Predicate Logic as a Programming Language},
 journal      = {J. ACM},
 volume       = {23},
 number       = {4},
 pages        = {733--742},
 doi          = {10.1145/321978.321991},
)
@article(tocl/VennekensGD06,
 author       = {Joost Vennekens and David Gilis and Marc Denecker},
 year         = {2006},
 title        = {Splitting an operator: Algebraic modularity results for logics with fixpoint semantics},
 journal      = {ACM Trans. Comput. Log.},
 volume       = {7},
 number       = {4},
 pages        = {765--797},
 doi          = {10.1145/1182613.1189735},
)
@article(VennekensMWD07,
 author       = {Joost Vennekens and Maarten Mari{\"e}n and Johan Wittocx and Marc Denecker},
 year         = {2007},
 title        = {Predicate Introduction for Logics With a Fixpoint Semantics. {Parts I and II}},
 journal      = {Fundamenta Informaticae},
 volume       = {79},
 number       = {1-2},
 pages        = {187--227},
 doi          = {10.5555/2366527.2366536},
)