Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence
A Procedural Semantics for Multi-adjoint Logic Programming
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Data Model for Flexible Querying
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Monotonic and Residuated Logic Programs
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Soundness and Completeness of Non-classical SLD-Resolution
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On a theory of probabilistic deductive databases
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
The procedural semantics of multi-adjoint logic programming is used for providing a model-theoretic semantics for a data model. A translation method for deductive logic databases is presented for obtaining a relational algebra with classical projection and enriched parametric join operator with aggregations. The use of non-commutative conjunctors allows for a model of different degrees of granulation and precision, whereas expressiveness is achieved by using multiple-valued connectives.