Computing intersections of Horn theories for reasoning with models

DOI10.1016/S0004-3702(99)00021-1zbMath0996.68188OpenAlexW2094873706MaRDI QIDQ1606297

Kazuhisa Makino, Toshihide Ibaraki, Thomas Eiter

Publication date: 24 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00021-1

zbMATH Keywords

model-based reasoninglogical knowledge bases

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)

Related Items

On the Boolean connectivity problem for Horn relations ⋮ Matroid Horn functions ⋮ On the difference of Horn theories ⋮ Join on Closure Systems Using Direct Implicational Basis Representation

This page was built for publication: Computing intersections of Horn theories for reasoning with models