Hypothesis-founded semantics for Datalog programs with negation

DOI10.1007/3-540-45687-2_40MaRDI QIDQ4708597zbMATH OpenFDO

Authors Yann Loyer, Nicolas Spyratos

Publication date 18 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2420/24200483.htm

zbMATH Keywords

hypothesisnon-monotonic reasoningsemantics of logic programs

Mathematics Subject Classification ID

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

Recommendations

• Hypothesis-based semantics of logic programs in multivalued logics
• Contextual hypotheses and semantics of logic programs
• The well-founded semantics for general logic programs
• A nondeterministic well-founded semantics
• scientific article; zbMATH DE number 4199653

Cited in

(8)

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• A logical semantics for depth-first Prolog with ground negation
• IsaLog¬: a deductive language with negation for complex-object databases with hierarchies
• Hypothesis support for information integration in four-valued logics
• Uncertainty and partial non-uniform assumptions in parametric deductive databases
• Contextual hypotheses and semantics of logic programs
• Hypothesis-based semantics of logic programs in multivalued logics
• Datalog with Negation and Monotonicity.

This page was built for publication: Hypothesis-founded semantics for Datalog programs with negation

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