An abductive approach to disjunctive logic programming

DOI10.1016/S0743-1066(99)00074-6MaRDI QIDQ4484725zbMATH OpenWikidataFDO

Authors Jia-Huai You, Li Yan Yuan, Randy Goebel

Publication date 25 March 2001

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00074-6

zbMATH Keywords

abductive reasoningdisjunctive EK procedurenonmonotonic reasoningregular extension semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1420809
• An abductive framework for extended logic programming
• Abductive Logic Programming
• An abductive framework for negation in disjunctive logic programming
• scientific article; zbMATH DE number 1222412

Cited in

(23)

• Abduction from logic programs: Semantics and complexity
• Teleo-Reactive Abductive Logic Programs
• Approximate Inference for Logic Programs with Annotated Disjunctions
• scientific article; zbMATH DE number 5079838 (Why is no real title available?)
• scientific article; zbMATH DE number 4166928 (Why is no real title available?)
• scientific article; zbMATH DE number 1222411 (Why is no real title available?)
• scientific article; zbMATH DE number 1222412 (Why is no real title available?)
• scientific article; zbMATH DE number 1303444 (Why is no real title available?)
• Partial deduction in disjunctive logic programming
• Abductive logic programming and disjunctive logic programming: their relationship and transferability
• scientific article; zbMATH DE number 1884352 (Why is no real title available?)
• scientific article; zbMATH DE number 2090536 (Why is no real title available?)
• scientific article; zbMATH DE number 1420809 (Why is no real title available?)
• scientific article; zbMATH DE number 1453062 (Why is no real title available?)
• On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
• An abductive framework for negation in disjunctive logic programming
• scientific article; zbMATH DE number 6747884 (Why is no real title available?)
• Abductive Logic Programming
• scientific article; zbMATH DE number 6261542 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 5043340 (Why is no real title available?)
• Foundations of Information and Knowledge Systems
• Closed world assumption for disjunctive reasoning

This page was built for publication: An abductive approach to disjunctive logic programming

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