Paraconsistent logic programming
Theoretical Computer Science
Optimizing the clausal normal form transformation
Journal of Automated Reasoning
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A logic for reasoning with inconsistency
Journal of Automated Reasoning
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Multi-valued logic programming semantics: an algebraic approach
Selected papers from the international workshop on Uncertainty in databases and deductive systems
Specification and integration of theorem provers and computer algebra systems
Fundamenta Informaticae - Special issue on symbolic computation and artificial intelligence
IEEE Transactions on Knowledge and Data Engineering
KOMET - A System for the Integration of Heterogeneous Information Sources
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
ISMIS '99 Proceedings of the 11th International Symposium on Foundations of Intelligent Systems
Hi-index | 0.01 |
In a mediator system based on annotated logics it is a suitable requirement to allow annotations from different lattices in one program on a per-predicate basis. These lattices however may be related through common sublattices, hence demanding predicates which are able to carry combinations of annotations, or access to components of annotations. We show both demands to be satisifiable by using various composition operations on the domain of complete bounded distributive lattices or bilattices, most importantly the free distributive product. An implementation of the presented concepts, based on the KOMET implementation of SLG-AL with constraints, is briefly introduced.