Characterizing D-WFS: Confluence and iterated GCWA

DOI10.1007/3-540-61630-6_19zbMATH Open1427.68041OpenAlexW1518971173MaRDI QIDQ5236439FDOQ5236439

J. Dix, Stefan Brass

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_19

zbMATH Keywords

logic programmingdeductive databasedisjunctive programdisjunctive logicresidual program

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A three-valued semantics for deductive databases and logic programs
• The well-founded semantics for general logic programs
• Characterizations of the stable semantics by partial evaluation
• Logic programming and negation: A survey
• Static semantics for normal and disjunctive logic programs
• Inferring negative information from disjunctive databases
• Three-valued nonmonotonic formalisms and semantics of logic programs
• Weak generalized closed world assumption
• A procedural semantics for well-founded negation in logic programs
• An overview of nonmonotonic reasoning and logic programming
• Partial deduction in disjunctive logic programming
• Generalized disjunctive well-founded semantics for logic programs.

Cited In (4)

• Transformation-based bottom-up computation of the well-founded model
• Computation of non-ground disjunctive well-founded semantics with constraint logic programming
• On logics and semantics for general logic programs
• Prolegomena to logic programming for non-monotonic reasoning

This page was built for publication: Characterizing D-WFS: Confluence and iterated GCWA

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