Deduction graphs: an algorithm and applications

DOI10.1109/32.21726MaRDI QIDQ3820061zbMATH OpenOpenAlexFDO

Authors Chaochih Yang

Publication date 1989

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.21726

zbMATH Keywords

deduction graphexpert systemfunctional dependencyHorn clausesinference rulelogic programmingrelational databaseresolution-refutation

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Graph theory (including graph drawing) in computer science (68R10) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 622433
• Natural deduction via graphs: formal definition and computation rules
• Deduction graphs with universal quantification
• Graph theoretical structures in logic programs and default theories
• Automated Deduction with Shannon Graphs
• A graph calculus for predicate logic
• scientific article; zbMATH DE number 177437

Cited in

(7)

• Man-machine theorem proving in graph theory
• Optimal competence set expansion using deduction graphs
• Directed hypergraphs and applications
• Cost-constrained planning for concurrency satisfaction
• scientific article; zbMATH DE number 4094876 (Why is no real title available?)
• scientific article; zbMATH DE number 1222701 (Why is no real title available?)
• Rules Dependencies in Backward Chaining of Conceptual Graphs Rules

This page was built for publication: Deduction graphs: an algorithm and applications

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