Kahl, Patrick; Watson, Richard; Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin The language of epistemic specifications (refined) including a prototype solver. (English) Zbl 1489.68272 J. Log. Comput. 30, No. 4, 953-989 (2020). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{P. Kahl} et al., J. Log. Comput. 30, No. 4, 953--989 (2020; Zbl 1489.68272) Full Text: DOI
Gelfond, Michael; Leone, Nicola Logic programming and knowledge representation—The A-Prolog perspective. (English) Zbl 0995.68022 Artif. Intell. 138, No. 1-2, 3-38 (2002). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Gelfond} and \textit{N. Leone}, Artif. Intell. 138, No. 1--2, 3--38 (2002; Zbl 0995.68022) Full Text: DOI
Gelfond, Michael (ed.); Leone, Nicola (ed.); Pfeifer, Gerald (ed.) Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2–4, 1999. Proceedings. (English) Zbl 0931.00043 Lecture Notes in Computer Science 1730. Lecture Notes in Artificial Intelligence. Berlin: Springer. xi, 391 p. (1999). MSC: 00B25 68-06 03-06 PDFBibTeX XMLCite \textit{M. Gelfond} (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR '99. El Paso, TX, USA, December 2--4, 1999. Proceedings. Berlin: Springer (1999; Zbl 0931.00043)
Gelfond, Michael; Lifschitz, Vladimir Classical negation in logic programs and disjunctive databases. (English) Zbl 0735.68012 New Gener. Comput. 9, No. 3-4, 365-385 (1991). Reviewer: J.Pokorny MSC: 68N17 68T15 68T30 PDFBibTeX XML
Gelfond, Michael; Przymusinska, Halina Formalization of inheritance reasoning in autoepistemic logic. (English) Zbl 0846.03011 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 4, 403-443 (1990). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{M. Gelfond} and \textit{H. Przymusinska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 4, 403--443 (1990; Zbl 0846.03011)
Gelfond, Michael Autoepistemic logic and formalization of commonsense reasoning: Preliminary report. (English) Zbl 0675.03012 Non-monotonic reasoning, Proc. 2nd Int. Workshop, Grassau/FRG 1988, Lect. Notes Comput. Sci. 346, 176-186 (1989). Reviewer: J.Šefránek MSC: 03B60 68T99 PDFBibTeX XML
Gelfond, Michael; Przymusinska, Halina; Przymusinski, Teodor On the relationship between circumscription and negation as failure. (English) Zbl 0663.68097 Artif. Intell. 38, No. 1, 75-94 (1989). MSC: 68T99 PDFBibTeX XMLCite \textit{M. Gelfond} et al., Artif. Intell. 38, No. 1, 75--94 (1989; Zbl 0663.68097) Full Text: DOI