From logic programs to inductive definitions

Authors:
Robert Stärk
Affiliations:
-
Venue:
Logic: from foundations to applications
Year:
1996

Citing 0
Cited 3

Proving Correctness and Completeness of Normal Programs - A Declarative Approach

Proceedings of the 17th International Conference on Logic Programming
Proving correctness and completeness of normal programs – a declarative approach

Theory and Practice of Logic Programming
Hybrid reasoning with non-monotonic rules

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract