Deductive Inference for the Interiors and Exteriors of Horn Theories

DOI10.1007/978-3-540-92182-0_36zbMath1183.68615OpenAlexW2570333661MaRDI QIDQ3596735

Hirotaka Ono, Kazuhisa Makino

Publication date: 29 January 2009

Published in: Algorithms and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

This page was built for publication: Deductive Inference for the Interiors and Exteriors of Horn Theories