On the difference of Horn theories
From MaRDI portal
Publication:5929916
DOI10.1006/jcss.2000.1719zbMath0971.68076MaRDI 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
68Q25: Analysis of algorithms and problem complexity
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