Computing intersections of horn theories for reasoning with models

Authors:
Thomas Eiter;Toshihide Ibaraki;Kazuhisa Makino
Affiliations:
Technische Univ. Wien, Wien, Austria;Kyoto Univ., Kyoto, Japan;Osaka Univ., Toyonaka, Japan
Venue:
Artificial Intelligence
Year:
1999

Citing 0
Cited 3

On the boolean connectivity problem for horn relations

SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
On the Boolean connectivity problem for Horn relations

Discrete Applied Mathematics
Deductive inference for the interiors and exteriors of horn theories

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract