Rachel Ben-Eliyahu & Rina Dechter (1994):
Propositional Semantics for Disjunctive Logic Programs.
Ann. Math. Artif. Intell. 12(1-2),
pp. 53–87,
doi:10.1007/BF01530761.
Marc Denecker, Victor Marek & Mirosław Truszczyński (2000):
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning.
In: Logic-Based Artificial Intelligence.
Springer,
pp. 127–144,
doi:10.1007/978-1-4615-1567-8_6.
Marc Denecker, Victor W. Marek & Miroslaw Truszczynski (2004):
Ultimate approximation and its application in nonmonotonic knowledge representation systems.
Inf. Comput. 192(1),
pp. 84–121,
doi:10.1016/j.ic.2004.02.004.
Melvin Fitting (2002):
Fixpoint semantics for logic programming a survey.
Theor. Comput. Sci. 278(1-2),
pp. 25–51,
doi:10.1016/S0304-3975(00)00330-3.
Martin Gebser, Benjamin Kaufmann & Torsten Schaub (2012):
Conflict-driven answer set solving: From theory to practice.
Artif. Intell. 187,
pp. 52–89,
doi:10.1016/j.artint.2012.04.001.
Martin Gebser, Benjamin Kaufmann & Torsten Schaub (2013):
Advanced Conflict-Driven Disjunctive Answer Set Solving.
In: Francesca Rossi: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013.
IJCAI/AAAI,
pp. 912–918.
Available at http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6835.
Jesse Heyninck & Ofer Arieli (2021):
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming.
In: Meghyn Bienvenu, Gerhard Lakemeyer & Esra Erdem: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021,
pp. 334–344,
doi:10.24963/kr.2021/32.
Jianmin Ji, Fangfang Liu & Jia-Huai You (2017):
Well-founded operators for normal hybrid MKNF knowledge bases.
Theory Pract. Log. Program. 17(5-6),
pp. 889–905,
doi:10.1017/S1471068417000291.
Tobias Kaminski, Matthias Knorr & João Leite (2015):
Efficient Paraconsistent Reasoning with Ontologies and Rules.
In: Qiang Yang & Michael J. Wooldridge: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.
AAAI Press,
pp. 3098–3105.
Available at http://ijcai.org/Abstract/15/437.
Spencer Killen & Jia-Huai You (2021):
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases.
In: 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,
CEUR Workshop Proceedings 2970.
CEUR-WS.org.
Available at http://ceur-ws.org/Vol-2970/aspocppaper3.pdf.
Spencer Killen & Jia-Huai You (2021):
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.
In: Meghyn Bienvenu, Gerhard Lakemeyer & Esra Erdem: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021,
pp. 432–441,
doi:10.24963/kr.2021/41.
Matthias Knorr, José Júlio Alferes & Pascal Hitzler (2011):
Local closed world reasoning with description logics under the well-founded semantics.
Artif. Intell. 175(9-10),
pp. 1528–1554,
doi:10.1016/j.artint.2011.01.007.
Vladimir Lifschitz (1991):
Nonmonotonic Databases and Epistemic Queries.
In: John Mylopoulos & Raymond Reiter: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991.
Morgan Kaufmann,
pp. 381–386.
Available at http://ijcai.org/Proceedings/91-1/Papers/059.pdf.
Fangfang Liu & Jia-Huai You (2017):
Three-valued semantics for hybrid MKNF knowledge bases revisited.
Artif. Intell. 252,
pp. 123–138,
doi:10.1016/j.artint.2017.08.003.
Fangfang Liu & Jia-Huai You (2022):
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.
Theory Pract. Log. Program. 22(2),
pp. 305–334,
doi:10.1017/S1471068421000168.
Boris Motik & Riccardo Rosati (2010):
Reconciling description logics and rules.
J. ACM 57(5),
pp. 30:1–30:62,
doi:10.1145/1754399.1754403.
Teodor C. Przymusinski (1991):
Stable Semantics for Disjunctive Programs.
New Gener. Comput. 9(3/4),
pp. 401–424,
doi:10.1007/BF03037171.
Alfred Tarski (1955):
A lattice-theoretical fixpoint theorem and its applications..
Pacific Journal of Mathematics 5(2),
pp. 285 – 309,
doi:10.2140/pjm.1955.5.285.
eptcs@eptcs.org