Deductive inference for the interiors and exteriors of horn theories

DOI10.1145/2287718.2287723zbMath1352.68239OpenAlexW1484469872MaRDI QIDQ2946672

Hirotaka Ono, Kazuhisa Makino

Publication date: 17 September 2015

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

Full work available at URL: http://hdl.handle.net/2324/14863

zbMATH Keywords

propositional logicdeductionNP-hardnesstractabilitycharacteristic setHorn theorymodel-based reasoninginterior/exterior function

Mathematics Subject Classification ID

This page was built for publication: Deductive inference for the interiors and exteriors of horn theories