Model Generation with Existentially Quantified Variables and Constraints

Authors:
Slim Abdennadher;Heribert Schütz
Affiliations:
-;-
Venue:
ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming
Year:
1997

Citing 0
Cited 3

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
A transformation-based approach to view updating in stratifiable deductive databases

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems

Quantified Score

Hi-index	0.00

Visualization

Abstract