Deductive Inference for the Interiors and Exteriors of Horn Theories

DOI10.1007/978-3-540-92182-0_36MaRDI QIDQ3596735zbMATH OpenOpenAlexFDO

Authors Kazuhisa Makino, Hirotaka Ono

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

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

Recommendations

• Deductive inference for the interiors and exteriors of Horn theories
• Computing intersections of Horn theories for reasoning with models
• Inferring minimal functional dependencies in Horn and q-Horn theories
• Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
• On the difference of Horn theories

Cited in

(5)

• Deductive inference for the interiors and exteriors of Horn theories
• Inter-definability of Horn contraction and Horn revision
• Term Rewriting and Applications
• Deduction-detachment theorem in hidden k-logics
• Computing intersections of Horn theories for reasoning with models

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3596735)