Fandinno, Jorge; Faber, Wolfgang; Gelfond, Michael Thirty years of epistemic specifications. (English) Zbl 07776354 Theory Pract. Log. Program. 22, No. 6, 1043-1083 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Fandinno} et al., Theory Pract. Log. Program. 22, No. 6, 1043--1083 (2022; Zbl 07776354) Full Text: DOI arXiv
Lutz, Carsten; Seylan, Inanc; Wolter, Frank The data complexity of ontology-mediated queries with closed predicates. (English) Zbl 1509.68258 Log. Methods Comput. Sci. 15, No. 3, Paper No. 23, 54 p. (2019). MSC: 68T30 68P15 68Q25 68T27 PDFBibTeX XMLCite \textit{C. Lutz} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 23, 54 p. (2019; Zbl 1509.68258) Full Text: arXiv
Bertossi, Leopoldo; Salimi, Babak Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints. (English) Zbl 1419.68047 Int. J. Approx. Reasoning 90, 226-252 (2017). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Bertossi} and \textit{B. Salimi}, Int. J. Approx. Reasoning 90, 226--252 (2017; Zbl 1419.68047) Full Text: DOI arXiv
Blondeel, Marjon; Schockaert, Steven; De Cock, Martine; Vermeir, Dirk Fuzzy autoepistemic logic and its relation to fuzzy answer set programming. (English) Zbl 1315.68230 Fuzzy Sets Syst. 239, 51-80 (2014). MSC: 68T27 68N17 68T37 PDFBibTeX XMLCite \textit{M. Blondeel} et al., Fuzzy Sets Syst. 239, 51--80 (2014; Zbl 1315.68230) Full Text: DOI Link
Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal Local closed world reasoning with description logics under the well-founded semantics. (English) Zbl 1225.68249 Artif. Intell. 175, No. 9-10, 1528-1554 (2011). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{M. Knorr} et al., Artif. Intell. 175, No. 9--10, 1528--1554 (2011; Zbl 1225.68249) Full Text: DOI Link
Cholvy, Laurence; Roussel, Stéphanie Reasoning with an incomplete information exchange policy. (English) Zbl 1148.68504 Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 683-694 (2007). MSC: 68T37 PDFBibTeX XMLCite \textit{L. Cholvy} and \textit{S. Roussel}, Lect. Notes Comput. Sci. 4724, 683--694 (2007; Zbl 1148.68504) Full Text: DOI
Rosati, Riccardo Multi-modal nonmonotonic logics of minimal knowledge. (English) Zbl 1118.68667 Ann. Math. Artif. Intell. 48, No. 3-4, 169-185 (2006). MSC: 68T30 PDFBibTeX XMLCite \textit{R. Rosati}, Ann. Math. Artif. Intell. 48, No. 3--4, 169--185 (2006; Zbl 1118.68667) Full Text: DOI
Pelletier, Francis Jeffry; Elio, Renée The case for psychologism in default and inheritance reasoning. (English) Zbl 1079.03520 Synthese 146, No. 1-2, 7-35 (2005). MSC: 03A05 03B60 68T27 PDFBibTeX XMLCite \textit{F. J. Pelletier} and \textit{R. Elio}, Synthese 146, No. 1--2, 7--35 (2005; Zbl 1079.03520) Full Text: DOI
Rosati, R. On the decidability and complexity of reasoning about only knowing. (English) Zbl 0939.68838 Artif. Intell. 116, No. 1-2, 193-215 (2000). MSC: 68T30 PDFBibTeX XMLCite \textit{R. Rosati}, Artif. Intell. 116, No. 1--2, 193--215 (2000; Zbl 0939.68838) Full Text: DOI
Lifschitz, Vladimir Minimal belief and negation as failure. (English) Zbl 0820.03016 Artif. Intell. 70, No. 1-2, 53-72 (1994). Reviewer: C.Witteveen (Delft) MSC: 03B60 68T27 03B70 03B45 68T30 68N17 PDFBibTeX XMLCite \textit{V. Lifschitz}, Artif. Intell. 70, No. 1--2, 53--72 (1994; Zbl 0820.03016) Full Text: DOI
Chen, Jianhua Relating only knowing to minimal belief and negation as failure. (English) Zbl 0823.68098 J. Exp. Theor. Artif. Intell. 6, No. 4, 409-429 (1994). MSC: 68T27 03B60 PDFBibTeX XMLCite \textit{J. Chen}, J. Exp. Theor. Artif. Intell. 6, No. 4, 409--429 (1994; Zbl 0823.68098) Full Text: DOI
Boutilier, Craig Unifying default reasoning and belief revision in a modal framework. (English) Zbl 0811.68113 Artif. Intell. 68, No. 1, 33-85 (1994). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{C. Boutilier}, Artif. Intell. 68, No. 1, 33--85 (1994; Zbl 0811.68113) Full Text: DOI
Reiter, Raymond Proving properties of states in the situation calculus. (English) Zbl 0788.68139 Artif. Intell. 64, No. 2, 337-351 (1993). MSC: 68T35 PDFBibTeX XMLCite \textit{R. Reiter}, Artif. Intell. 64, No. 2, 337--351 (1993; Zbl 0788.68139) Full Text: DOI
Fernández, José Alberto; Lobo, Jorge; Minker, Jack; Subrahmanian, V. S. Disjunctive \(LP+\) integrity constraints = stable model semantics. (English) Zbl 1034.68507 Ann. Math. Artif. Intell. 8, No. 3-4, 449-474 (1993). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{J. A. Fernández} et al., Ann. Math. Artif. Intell. 8, No. 3--4, 449--474 (1993; Zbl 1034.68507) Full Text: DOI