Stratified, weak stratified and three-valued semantics

Authors:
M. Fitting;M. Ben-Jacob
Affiliations:
-;-
Venue:
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
Year:
1990

Citing 0
Cited 2

Characterizations of Classes of Programs by Three-Valued Operators

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A logic-based framework for attribute based access control

Proceedings of the 2004 ACM workshop on Formal methods in security engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract