@book{romanlattices2008, location = {New York, {NY}}, title = {Lattices and Ordered Sets}, isbn = {978-0-387-78900-2 978-0-387-78901-9}, url = {http://link.springer.com/10.1007/978-0-387-78901-9}, publisher = {Springer New York}, author = {Roman, Steven}, urldate = {2021-07-28}, year = {2008}, langid = {english}, doi = {10.1007/978-0-387-78901-9}, file = {2008 - Lattices and Ordered Sets.pdf:/home/capybara/Zotero/storage/5QU8WTUR/2008 - Lattices and Ordered Sets.pdf:application/pdf}, } @InProceedings{RRaft, author="Bi, Yi and You, Jia-Huai and Feng, Zhiyong", editor="Kontchakov, Roman and Mugnier, Marie-Laure", title="A Generalization of Approximation Fixpoint Theory and Application", booktitle="Web Reasoning and Rule Systems", year="2014", publisher="Springer International Publishing", address="Cham", pages="45--59" } @article{gelfondstable2000, title = {The Stable Model Semantics For Logic Programming}, volume = {2}, abstract = {We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated xed point semantics for stratied programs, and is applicable to some useful programs that are not stratied.}, journal = {Logic Programming}, shortjournal = {Logic Programming}, author = {Gelfond, Michael and Lifschitz, Vladimir}, date = {2000-12-14}, year = "2000", file = {Full Text PDF:/home/gopher/Zotero/storage/LSRXUIBD/The_Stable_Model_Semantics_For_Logic_Programming.pdf:application/pdf} } @inproceedings{aftjust, author = {Simon Marynissen and Bart Bogaerts and Marc Denecker}, editor = {Zhi{-}Hua Zhou}, title = {On the Relation Between Approximation Fixpoint Theory and Justification Theory}, booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021}, pages = {1973--1980}, publisher = {ijcai.org}, year = {2021}, url = {https://doi.org/10.24963/ijcai.2021/272}, doi = {10.24963/ijcai.2021/272}, timestamp = {Sat, 09 Apr 2022 12:47:19 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Marynissen0D21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{liuyou2021, author = {Fangfang Liu and Jia{-}Huai You}, title = {Alternating Fixpoint Operator for Hybrid {MKNF} Knowledge Bases as an Approximator of {AFT}}, journal = {Theory Pract. Log. Program.}, volume = {22}, number = {2}, pages = {305--334}, year = {2022}, doi = {10.1017/S1471068421000168}, timestamp = {Wed, 27 Apr 2022 20:10:27 +0200}, biburl = {https://dblp.org/rec/journals/tplp/LiuY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{liuyou2019, author = {Fangfang Liu and Jia{-}Huai You}, editor = {Paul Fodor and Marco Montali and Diego Calvanese and Dumitru Roman}, title = {Alternating Fixpoint Operator for Hybrid {MKNF} Knowledge Bases as an Approximator of {AFT}}, booktitle = {Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11784}, pages = {113--127}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31095-0\_8}, doi = {10.1007/978-3-030-31095-0\_8}, timestamp = {Tue, 17 Sep 2019 08:40:59 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/LiuY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{aftagg, author = {Linde Vanbesien and Maurice Bruynooghe and Marc Denecker}, title = {Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory}, journal = {Theory Pract. Log. Program.}, volume = {22}, number = {4}, pages = {523--537}, year = {2022}, url = {https://doi.org/10.1017/S1471068422000126}, doi = {10.1017/S1471068422000126}, timestamp = {Sat, 10 Sep 2022 20:58:45 +0200}, biburl = {https://dblp.org/rec/journals/tplp/VanbesienBD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DeneckerMT04, author = {Marc Denecker and Victor W. Marek and Miroslaw Truszczynski}, title = {Ultimate approximation and its application in nonmonotonic knowledge representation systems}, journal = {Inf. Comput.}, volume = {192}, number = {1}, pages = {84--121}, year = {2004}, doi = {10.1016/j.ic.2004.02.004}, timestamp = {Fri, 12 Feb 2021 22:16:22 +0100}, biburl = {https://dblp.org/rec/journals/iandc/DeneckerMT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @incollection{denecker2000approximations, title={Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning}, author={Denecker, Marc and Marek, Victor and Truszczy{\'n}ski, Miros{\l}aw}, booktitle={Logic-Based Artificial Intelligence}, pages={127--144}, year={2000}, doi={10.1007/978-1-4615-1567-8_6}, publisher = {Springer}, } @article{fittingfixpointsurvey, author = {Melvin Fitting}, title = {Fixpoint semantics for logic programming a survey}, journal = {Theor. Comput. Sci.}, volume = {278}, number = {1-2}, pages = {25--51}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(00)00330-3}, doi = {10.1016/S0304-3975(00)00330-3}, timestamp = {Wed, 17 Feb 2021 21:58:01 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Fitting02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{Ji17, author = {Jianmin Ji and Fangfang Liu and Jia{-}Huai You}, title = {Well-founded operators for normal hybrid {MKNF} knowledge bases}, journal = {Theory Pract. Log. Program.}, volume = {17}, number = {5-6}, pages = {889--905}, year = {2017}, doi = {10.1017/S1471068417000291}, timestamp = {Mon, 26 Oct 2020 08:22:48 +0100}, biburl = {https://dblp.org/rec/journals/tplp/JiLY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{Fitting02, author = {Melvin Fitting}, title = {Fixpoint semantics for logic programming a survey}, journal = {Theor. Comput. Sci.}, volume = {278}, number = {1-2}, pages = {25--51}, year = {2002}, doi = {10.1016/S0304-3975(00)00330-3}, timestamp = {Wed, 17 Feb 2021 21:58:01 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Fitting02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }} @article{knorrlocal2011, author = {Matthias Knorr and Jos{\'{e}} J{\'{u}}lio Alferes and Pascal Hitzler}, title = {Local closed world reasoning with description logics under the well-founded semantics}, journal = {Artif. Intell.}, volume = {175}, number = {9-10}, pages = {1528--1554}, year = {2011}, doi = {10.1016/j.artint.2011.01.007}, timestamp = {Wed, 23 Feb 2022 14:32:41 +0100}, biburl = {https://dblp.org/rec/journals/ai/KnorrAH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{przymusinskistable1991, author = {Teodor C. Przymusinski}, title = {Stable Semantics for Disjunctive Programs}, journal = {New Gener. Comput.}, volume = {9}, number = {3/4}, pages = {401--424}, year = {1991}, doi = {10.1007/BF03037171}, timestamp = {Thu, 14 May 2020 22:23:50 +0200}, biburl = {https://dblp.org/rec/journals/ngc/Przymusinski91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{lifschitznonmonotonic1991, author = {Vladimir Lifschitz}, editor = {John Mylopoulos and Raymond Reiter}, title = {Nonmonotonic Databases and Epistemic Queries}, booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991}, pages = {381--386}, publisher = {Morgan Kaufmann}, year = {1991}, url = {http://ijcai.org/Proceedings/91-1/Papers/059.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:13 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Lifschitz91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{motikreconciling2010, author = {Boris Motik and Riccardo Rosati}, title = {Reconciling description logics and rules}, journal = {J. {ACM}}, volume = {57}, number = {5}, pages = {30:1--30:62}, year = {2010}, doi = {10.1145/1754399.1754403}, timestamp = {Mon, 16 Sep 2019 14:49:47 +0200}, biburl = {https://dblp.org/rec/journals/jacm/MotikR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{liuthreevalued2017, author = {Fangfang Liu and Jia{-}Huai You}, title = {Three-valued semantics for hybrid {MKNF} knowledge bases revisited}, journal = {Artif. Intell.}, volume = {252}, pages = {123--138}, year = {2017}, doi = {10.1016/j.artint.2017.08.003}, timestamp = {Thu, 28 Dec 2017 16:12:02 +0100}, biburl = {https://dblp.org/rec/journals/ai/LiuY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{revisited, author = {Fangfang Liu and Jia{-}Huai You}, title = {Three-valued semantics for hybrid {MKNF} knowledge bases revisited}, journal = {Artif. Intell.}, volume = {252}, pages = {123--138}, year = {2017}, url = {https://doi.org/10.1016/j.artint.2017.08.003}, doi = {10.1016/j.artint.2017.08.003}, timestamp = {Thu, 28 Dec 2017 16:12:02 +0100}, biburl = {https://dblp.org/rec/journals/ai/LiuY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{tarskilatticetheoretical1955, author = {Alfred Tarski}, title = {{A lattice-theoretical fixpoint theorem and its applications.}}, volume = {5}, journal = {Pacific Journal of Mathematics}, number = {2}, publisher = {Pacific Journal of Mathematics, A Non-profit Corporation}, pages = {285 -- 309}, doi = {10.2140/pjm.1955.5.285}, year = {1955} } @article{gebserconflictdriven2012, author = {Martin Gebser and Benjamin Kaufmann and Torsten Schaub}, title = {Conflict-driven answer set solving: From theory to practice}, journal = {Artif. Intell.}, volume = {187}, pages = {52--89}, year = {2012}, doi = {10.1016/j.artint.2012.04.001}, timestamp = {Fri, 09 Apr 2021 18:34:15 +0200}, biburl = {https://dblp.org/rec/journals/ai/GebserKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{gebseradvanced2013, author = {Martin Gebser and Benjamin Kaufmann and Torsten Schaub}, editor = {Francesca Rossi}, title = {Advanced Conflict-Driven Disjunctive Answer Set Solving}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {912--918}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6835}, timestamp = {Tue, 08 Mar 2022 17:41:53 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/GebserKS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{killenfixpoint2021, author = {Spencer Killen and Jia{-}Huai You}, title = {Fixpoint Characterizations of Disjunctive Hybrid {MKNF} Knowledge Bases}, booktitle = {Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2970}, publisher = {CEUR-WS.org}, year = {2021}, url = {http://ceur-ws.org/Vol-2970/aspocppaper3.pdf}, timestamp = {Thu, 28 Oct 2021 14:11:18 +0200}, biburl = {https://dblp.org/rec/conf/iclp/KillenY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{killen2022, author = {Spencer Killen and Jia{-}Huai You}, editor = {Yuliya Lierler and Jos{\'{e}} F. Morales and Carmine Dodaro and Ver{\'{o}}nica Dahl and Martin Gebser and Tuncay Tekle}, title = {A Fixpoint Characterization of Three-Valued Disjunctive Hybrid {MKNF} Knowledge Bases}, booktitle = {Proceedings 38th International Conference on Logic Programming, {ICLP} 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022}, series = {{EPTCS}}, volume = {364}, pages = {51--64}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.364.6}, doi = {10.4204/EPTCS.364.6}, timestamp = {Sat, 15 Oct 2022 11:57:01 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-03087.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{killenunfounded, author = {Spencer Killen and Jia{-}Huai You}, editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem}, title = {Unfounded Sets for Disjunctive Hybrid {MKNF} Knowledge Bases}, booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021}, pages = {432--441}, year = {2021}, doi = {10.24963/kr.2021/41}, timestamp = {Wed, 03 Nov 2021 12:47:32 +0100}, biburl = {https://dblp.org/rec/conf/kr/KillenY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{heyninckapproximation2021, author = {Jesse Heyninck and Ofer Arieli}, editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem}, title = {Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming}, booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021}, pages = {334--344}, year = {2021}, doi = {10.24963/kr.2021/32}, timestamp = {Wed, 03 Nov 2021 12:47:32 +0100}, biburl = {https://dblp.org/rec/conf/kr/HeyninckA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{kaminskiefficient2015, author = {Tobias Kaminski and Matthias Knorr and Jo{\~{a}}o Leite}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {Efficient Paraconsistent Reasoning with Ontologies and Rules}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {3098--3105}, publisher = {{AAAI} Press}, year = {2015}, url = {http://ijcai.org/Abstract/15/437}, timestamp = {Wed, 23 Feb 2022 14:32:42 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/KaminskiKL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{headcycleisNP, author = {Rachel Ben{-}Eliyahu and Rina Dechter}, title = {Propositional Semantics for Disjunctive Logic Programs}, journal = {Ann. Math. Artif. Intell.}, volume = {12}, number = {1-2}, pages = {53--87}, year = {1994}, doi = {10.1007/BF01530761}, timestamp = {Sun, 28 May 2017 13:20:59 +0200}, biburl = {https://dblp.org/rec/journals/amai/Ben-EliyahuD94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }