Quantitative Logic Programming Revisited

DOI10.1007/978-3-540-78969-7_20MaRDI QIDQ5458442zbMATH OpenOpenAlexFDO

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

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78969-7_20

zbMATH Keywords

Qualification ConstraintsQualification DomainsQuantitative Logic Programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

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

Cites work

• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Bilattices and the semantics of logic programming
• Contributions to the Theory of Logic Programming
• Heterogeneous temporal probabilistic agents
• scientific article; zbMATH DE number 4090844 (Why is no real title available?)
• scientific article; zbMATH DE number 1354157 (Why is no real title available?)
• Hybrid probabilistic programs
• Probabilistic agent programs
• Probabilistic logic programming
• Programming with Fuzzy Logic and Mathematical Functions
• Quantitative deduction and its fixpoint theory
• Quantitative Logic Programming Revisited
• Similarity-based SLD resolution and its role for web knowledge discovery
• The Semantics of Predicate Logic as a Programming Language

Cited in

(23)

• Thresholded semantic framework for a fully integrated fuzzy logic language
• Quantitative disjunctive logic programming: Semantics and computation
• Qualified logic programming with bivalued predicates
• Monotonic qualitative logic programs: computation and applications
• Quantified logic programs, revisited
• scientific article; zbMATH DE number 994051 (Why is no real title available?)
• A declarative semantics for CLP with qualification and proximity
• scientific article; zbMATH DE number 4090844 (Why is no real title available?)
• scientific article; zbMATH DE number 1337623 (Why is no real title available?)
• scientific article; zbMATH DE number 1954107 (Why is no real title available?)
• scientific article; zbMATH DE number 910433 (Why is no real title available?)
• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
• scientific article; zbMATH DE number 1453069 (Why is no real title available?)
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Proximity-based unification theory
• Qualified Computations in Functional Logic Programming
• A transformation-based implementation for CLP with qualification and proximity
• Quantitative Logic Programming Revisited
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Theory and Applications of Satisfiability Testing
• QMaude: quantitative specification and verification in rewriting logic
• Some properties of substitutions in the framework of similarity relations
• A sound and complete semantics for a similarity-based logic programming language

This page was built for publication: Quantitative Logic Programming Revisited

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