Deduction graphs: an algorithm and applications

DOI10.1109/32.21726zbMath0667.68113OpenAlexW2056901982MaRDI QIDQ3820061

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

relational databaseHorn clausesinference rulefunctional dependencylogic programmingexpert systemresolution-refutationdeduction graph

Mathematics Subject Classification ID

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

Related Items (3)

Directed hypergraphs and applications ⋮ Cost-constrained planning for concurrency satisfaction ⋮ Optimal competence set expansion using deduction graphs

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