Super logic programs

DOI10.1145/963927.963931MaRDI QIDQ5277693zbMATH OpenOpenAlexWikidataFDO

Authors J. 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

deductive databasesdisjunctive logic programminglogics of knowledge and beliefsminimal modelsnegationnonmonotonic reasoningsemantics of logic programsstatic semanticswell-founded semantics

Mathematics Subject Classification ID

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

Recommendations

• Most specific logic programs
• Programs and logics
• scientific article; zbMATH DE number 86272
• Superposition for higher-order logic
• Deducing Logic Programs
• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 194376
• scientific article; zbMATH DE number 25191
• Tight logic programs

Cited in

(1)

• Disjunctive logic programs, answer sets, and the cut rule

This page was built for publication: Super logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277693)