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

DOI10.1002/INT.4550050507zbMATH Open0715.68053OpenAlexW2090073472MaRDI QIDQ3201764FDOQ3201764

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

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

zbMATH Keywords

minimal modelclosed world assumptionminimal Herbrand modelnonmonotonic semantics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Generality in artificial intelligence

Cited In (5)

• Embedding Logics in the Local Computation Framework
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• 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
• ECWA made easy

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)