Compilability of propositional abduction

From MaRDI portal

Publication:5277767

Jump to:navigation, search

DOI10.1145/1182613.1182615zbMath1367.68286OpenAlexW1624857405MaRDI QIDQ5277767

Marco Schaerf, Paolo Liberatore

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1182613.1182615

zbMATH Keywords

computational complexity artificial intelligence knowledge representation abduction automated diagnosis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

What makes propositional abduction tractable

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5277767&oldid=19925298"