Generating small Models of First Order Axioms

Authors:
K. M. Hörnig
Affiliations:
-
Venue:
GWAI '81 Proceedings of the German Workshop on Artificial Intelligence
Year:
1981

Citing 0
Cited 2

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

Journal of Automated Reasoning
A Deduction Method Complete for Refutation and Finite Satisfiability

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract