Deduction graphs: an algorithm and applications
From MaRDI portal
Publication:3820061
DOI10.1109/32.21726zbMath0667.68113MaRDI QIDQ3820061
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
relational database; Horn clauses; inference rule; functional dependency; logic programming; expert system; resolution-refutation; deduction graph
68R10: Graph theory (including graph drawing) in computer science
68T99: Artificial intelligence
68P20: Information storage and retrieval of data
Related Items
Optimal competence set expansion using deduction graphs, Directed hypergraphs and applications, Cost-constrained planning for concurrency satisfaction