Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract)

Authors:
Jacques Calmet;James J. Lu;Maria Rodriguez;Joachim Schü
Affiliations:
-;-;-;-
Venue:
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Year:
1996

Citing 0
Cited 5

Representing Uncertainty in RuleML

Fundamenta Informaticae
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Annals of Mathematics and Artificial Intelligence
Representing Uncertainty in RuleML

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract