Three-valued completion for abductive logic programs

DOI10.1007/3-540-58431-5_12MaRDI QIDQ4537512zbMATH OpenFDO

Authors Frank Teusink

Publication date 1 July 2002

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

Full work available at URL https://ir.cwi.nl/pub/2192

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Three-valued completion for abductive logic programs
• A Complete Axiomatization of the Three valued Completion of Logic Programs
• scientific article; zbMATH DE number 820414
• The intricacies of three-valued extensional semantics for higher-order logic programs
• A three-valued semantics for deductive databases and logic programs
• scientific article; zbMATH DE number 3896341
• A three-valued semantics for logic programmers
• scientific article; zbMATH DE number 15392
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Three-valued nonmonotonic formalisms and semantics of logic programs

Cited in

(5)

• Representing Incomplete Knowledge in Abductive Logic Programming
• scientific article; zbMATH DE number 820414 (Why is no real title available?)
• A terminological interpretation of (abductive) logic programming
• Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
• Three-valued completion for abductive logic programs

This page was built for publication: Three-valued completion for abductive logic programs

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