Super logic programs

DOI10.1145/963927.963931zbMath1367.68029OpenAlexW2143323021WikidataQ130880050 ScholiaQ130880050MaRDI QIDQ5277693

Jürgen Dix, Stefan Brass, Teodor C. Przymusinski

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/963927.963931

zbMATH Keywords

well-founded semanticsminimal modelsnonmonotonic reasoningnegationdisjunctive logic programmingdeductive databasessemantics of logic programsstatic semanticslogics of knowledge and beliefs

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Theory of compilers and interpreters (68N20) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Disjunctive logic programs, answer sets, and the cut rule

This page was built for publication: Super logic programs