A Procedural Semantics for Multi-adjoint Logic Programming

Authors:
Jesús Medina;Manuel Ojeda-Aciego;Peter Vojtás
Affiliations:
-;-;-
Venue:
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
Year:
2001

Citing 3
Cited 12

Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
A Multi-adjoint Logic Approach to Abductive Reasoning

Proceedings of the 17th International Conference on Logic Programming
Soundness and Completeness of Non-classical SLD-Resolution

ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming

A Similarity-Based Unification Model for Flexible Querying

FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A Neural Approach to Abductive Multi-adjoint Reasoning

AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Non-commutativity and Expressive Deductive Logic Databases

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Fuzzy Logic, Soft Computing, and Applications

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
RFuzzy: An Expressive Simple Fuzzy Compiler

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
A practical management of fuzzy truth-degrees using FLOPER

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog

Information Sciences: an International Journal
Fuzzy computed answers collecting proof information

IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Declarative traces into fuzzy computed answers

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Building a fuzzy transformation system

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Representing fuzzy logic programs by graded attribute implications

MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, a procedural semantics is given for the paradigm of multiadjoint logic programming and completeness theorems are proved.