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
Costantini, Stefania; Formisano, Andrea Epistemic logic programs: a study of some properties. (English) Zbl 07671884 Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 131-144 (2022). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{S. Costantini} and \textit{A. Formisano}, Lect. Notes Comput. Sci. 13416, 131--144 (2022; Zbl 07671884) Full Text: DOI
Bichler, Manuel; Morak, Michael; Woltran, Stefan selp: a single-shot epistemic logic program solver. (English) Zbl 1472.68022 Theory Pract. Log. Program. 20, No. 4, 435-455 (2020). MSC: 68N17 03B42 68T20 68T27 PDFBibTeX XMLCite \textit{M. Bichler} et al., Theory Pract. Log. Program. 20, No. 4, 435--455 (2020; Zbl 1472.68022) Full Text: DOI arXiv
Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis Autoepistemic answer set programming. (English) Zbl 1504.68208 Artif. Intell. 289, Article ID 103382, 18 p. (2020). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{P. Cabalar} et al., Artif. Intell. 289, Article ID 103382, 18 p. (2020; Zbl 1504.68208) Full Text: DOI
Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten eclingo: a solver for epistemic logic programs. (English) Zbl 1468.68053 Theory Pract. Log. Program. 20, No. 6, 834-847 (2020). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{P. Cabalar} et al., Theory Pract. Log. Program. 20, No. 6, 834--847 (2020; Zbl 1468.68053) Full Text: DOI arXiv
Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas Autoepistemic equilibrium logic and epistemic specifications. (English) Zbl 1432.68453 Artif. Intell. 282, Article ID 103249, 23 p. (2020). MSC: 68T27 03B42 68N17 PDFBibTeX XMLCite \textit{E. I. Su} et al., Artif. Intell. 282, Article ID 103249, 23 p. (2020; Zbl 1432.68453) Full Text: DOI Link
Morak, Michael Epistemic logic programs: a different world view. (English) Zbl 07453102 Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 52-64 (2019). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Morak}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 52--64 (2019; Zbl 07453102) Full Text: arXiv Link
Faber, Wolfgang; Morak, Michael; Woltran, Stefan On uniform equivalence of epistemic logic programs. (English) Zbl 1434.68073 Theory Pract. Log. Program. 19, No. 5-6, 826-840 (2019). MSC: 68N17 03B42 68Q25 68T27 PDFBibTeX XMLCite \textit{W. Faber} et al., Theory Pract. Log. Program. 19, No. 5--6, 826--840 (2019; Zbl 1434.68073) Full Text: DOI arXiv
Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao A parallel memory-efficient epistemic logic program solver: harder, better, faster. (English) Zbl 1485.68036 Ann. Math. Artif. Intell. 86, No. 1-3, 61-85 (2019). MSC: 68N17 03B42 68T27 PDFBibTeX XMLCite \textit{P. T. Kahl} et al., Ann. Math. Artif. Intell. 86, No. 1--3, 61--85 (2019; Zbl 1485.68036) Full Text: DOI arXiv
He, Jiankun; Zhao, Xishun Reasoning about actions with loops via Hoare logic. (English) Zbl 1403.68267 Front. Comput. Sci. 10, No. 5, 870-888 (2016). MSC: 68T27 68Q55 PDFBibTeX XMLCite \textit{J. He} and \textit{X. Zhao}, Front. Comput. Sci. 10, No. 5, 870--888 (2016; Zbl 1403.68267) Full Text: DOI
Nikolaou, Charalampos; Koubarakis, Manolis Querying incomplete information in RDF with SPARQL. (English) Zbl 1357.68011 Artif. Intell. 237, 138-171 (2016). MSC: 68M11 68P15 68T30 PDFBibTeX XMLCite \textit{C. Nikolaou} and \textit{M. Koubarakis}, Artif. Intell. 237, 138--171 (2016; Zbl 1357.68011) Full Text: DOI
Shen, Yi-Dong; Eiter, Thomas Evaluating epistemic negation in answer set programming. (English) Zbl 1358.68278 Artif. Intell. 237, 115-135 (2016). MSC: 68T27 03B42 68N17 68Q25 68T30 PDFBibTeX XMLCite \textit{Y.-D. Shen} and \textit{T. Eiter}, Artif. Intell. 237, 115--135 (2016; Zbl 1358.68278) Full Text: DOI
Zhang, Zhizheng; Zhang, Shutao Logic programming with graded modality. (English) Zbl 1467.68030 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 517-530 (2015). MSC: 68N17 03B45 PDFBibTeX XMLCite \textit{Z. Zhang} and \textit{S. Zhang}, Lect. Notes Comput. Sci. 9345, 517--530 (2015; Zbl 1467.68030) Full Text: DOI
Zhou, Yi; Lin, Fangzhen; Zhang, Yan General default logic. (English) Zbl 1196.68248 Ann. Math. Artif. Intell. 57, No. 2, 125-160 (2009). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{Y. Zhou} et al., Ann. Math. Artif. Intell. 57, No. 2, 125--160 (2009; Zbl 1196.68248) Full Text: DOI
Pearce, David Equilibrium logic. (English) Zbl 1117.03039 Ann. Math. Artif. Intell. 47, No. 1-2, 3-41 (2006). Reviewer: Nail Zamov (Kazan) MSC: 03B70 03B55 68N17 68T27 PDFBibTeX XMLCite \textit{D. Pearce}, Ann. Math. Artif. Intell. 47, No. 1--2, 3--41 (2006; Zbl 1117.03039) Full Text: DOI
Przymusinski, Teodor C. Autoepistemic logic of knowledge and beliefs. (English) Zbl 0894.68141 Artif. Intell. 95, No. 1, 115-154 (1997). MSC: 68T27 68N17 68Q55 PDFBibTeX XMLCite \textit{T. C. Przymusinski}, Artif. Intell. 95, No. 1, 115--154 (1997; Zbl 0894.68141) Full Text: DOI
Alferes, José Júlio; Moniz Pereira, Luís; Przymusinski, Teodor C. Strong and explicit negation in non-monotonic reasoning and logic programming. (English) Zbl 1426.68256 Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 143-163 (1996). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{J. J. Alferes} et al., Lect. Notes Comput. Sci. 1126, 143--163 (1996; Zbl 1426.68256) Full Text: DOI
Rajasekar, Arcot Trans-epistemic semantics for logic programs. (English) Zbl 1496.68091 Marek, V. W. (ed.) et al., Logic programming and nonmonotonic reasoning. Third international conference, LPNMR ’95, Lexington, KY, USA, June 26–28, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 928, 388-400 (1995). MSC: 68N17 68Q55 68T27 PDFBibTeX XMLCite \textit{A. Rajasekar}, Lect. Notes Comput. Sci. 928, 388--400 (1995; Zbl 1496.68091) Full Text: DOI
Pearce, David Nonmonotonicity and answer set inference. (English) Zbl 1496.68320 Marek, V. W. (ed.) et al., Logic programming and nonmonotonic reasoning. Third international conference, LPNMR ’95, Lexington, KY, USA, June 26–28, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 928, 372-387 (1995). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{D. Pearce}, Lect. Notes Comput. Sci. 928, 372--387 (1995; Zbl 1496.68320) Full Text: DOI