On the relationship between CWA, minimal model, and minimal herbrand model semantics

DOI10.1002/INT.4550050507MaRDI QIDQ3201764zbMATHOpenAlexFDO

Authors Halina Przymusinska, Michael Gelfond, Teodor C. Przymusinski

Publication date 1990

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.4550050507

zbMATH Keywords

minimal modelclosed world assumptionminimal Herbrand modelnonmonotonic semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
• Minimalism, justification and non-monotonicity in deductive databases
• Evaluation of queries under closed-world assumption. II: The hierarchical case
• Saturation, nonmonotonic reasoning and the closed-world assumption
• scientific article; zbMATH DE number 589696

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Generality in artificial intelligence

Cited in

(5)

• ECWA made easy
• Embedding Logics in the Local Computation Framework
• On the equivalence of the static and disjunctive well-founded semantics and its computation
• First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,

This page was built for publication: On the relationship between CWA, minimal model, and minimal herbrand model semantics

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