Qualified logic programming with bivalued predicates

DOI10.1016/J.ENTCS.2009.07.060MaRDI QIDQ2808238zbMATH OpenOpenAlexFDO

Authors M. Rodríguez Artalejo, Carlos A. Romero-Díaz

Publication date 20 May 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.060

zbMATH Keywords

threshold constraintsbivalued predicatesqualification domainsqualified logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Quantitative Logic Programming Revisited
• A declarative semantics for CLP with qualification and proximity
• scientific article; zbMATH DE number 4090844
• A transformation-based implementation for CLP with qualification and proximity
• Quantitative disjunctive logic programming: Semantics and computation

Cites work

• scientific article; zbMATH DE number 4090844 (Why is no real title available?)
• scientific article; zbMATH DE number 1354157 (Why is no real title available?)
• scientific article; zbMATH DE number 2085246 (Why is no real title available?)
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• Approximate reasoning by similarity-based SLD resolution.
• Contributions to the Theory of Logic Programming
• Formal properties of needed narrowing with similarity relations
• Fuzzy Prolog: A new approach using soft constraints propagation
• Programming with Fuzzy Logic and Mathematical Functions
• Quantitative Logic Programming Revisited
• Quantitative deduction and its fixpoint theory
• Similarity-based SLD resolution and its role for web knowledge discovery
• The Semantics of Predicate Logic as a Programming Language

Cited in

(10)

• Quantitative Logic Programming Revisited
• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
• scientific article; zbMATH DE number 1337623 (Why is no real title available?)
• Qualified Computations in Functional Logic Programming
• Beyond multi-adjoint logic programming
• A transformation-based implementation for CLP with qualification and proximity
• Monotonic qualitative logic programs: computation and applications
• A declarative semantics for CLP with qualification and proximity
• Quantified logic programs, revisited
• scientific article; zbMATH DE number 4090844 (Why is no real title available?)

This page was built for publication: Qualified logic programming with bivalued predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2808238)