Deductive Inference for the Interiors and Exteriors of Horn Theories

DOI10.1007/978-3-540-92182-0_36zbMATH Open1183.68615OpenAlexW2570333661MaRDI QIDQ3596735FDOQ3596735

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

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

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)

Cited In (5)

• Deductive inference for the interiors and exteriors of Horn theories
• Term Rewriting and Applications
• Deduction-detachment theorem in hidden k-logics
• Inter-definability of Horn contraction and Horn revision
• 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)