Disjunctions of Horn Theories and Their Cores

DOI10.1137/S0097539799350840zbMath0992.68067OpenAlexW2084492166MaRDI QIDQ2784452

Toshihide Ibaraki, Kazuhisa Makino, Thomas Eiter

Publication date: 23 April 2002

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0097539799350840

zbMATH Keywords

logic in computer scienceHorn theorycomputational issues in artificial intelligence

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Related Items

Matroid Horn functions

Uses Software

• ABACUS