On the difference of Horn theories

DOI10.1006/jcss.2000.1719zbMath0971.68076OpenAlexW2039325453MaRDI QIDQ5929916

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Publication date: 30 October 2001

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.2000.1719

zbMATH Keywords

Horn theories

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cites Work

• On generating all maximal independent sets
• Propositional knowledge base revision and minimal change
• Double Horn functions
• Computing intersections of Horn theories for reasoning with models
• Horn approximations of empirical data
• Reasoning with models
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Knowledge compilation and theory approximation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the difference of Horn theories