×

Found 19 Documents (Results 1–19)

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
Full Text: DOI

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
Full Text: arXiv Link

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software