Quantitative Logic Programming Revisited

DOI10.1007/978-3-540-78969-7_20zbMath1137.68341OpenAlexW4242972422MaRDI QIDQ5458442

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

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)

Related Items (9)

Qualified Computations in Functional Logic Programming ⋮ Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ Proximity-based unification theory ⋮ A declarative semantics for CLP with qualification and proximity ⋮ A sound and complete semantics for a similarity-based logic programming language ⋮ Quantitative Logic Programming Revisited ⋮ Qualified Logic Programming with Bivalued Predicates ⋮ Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs

Cites Work

• Unnamed Item
• Unnamed Item
• Probabilistic logic programming
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Similarity-based SLD resolution and its role for web knowledge discovery
• Programming with Fuzzy Logic and Mathematical Functions
• Quantitative deduction and its fixpoint theory
• Contributions to the Theory of Logic Programming
• Bilattices and the semantics of logic programming
• The Semantics of Predicate Logic as a Programming Language
• Hybrid probabilistic programs
• Heterogeneous temporal probabilistic agents
• Quantitative Logic Programming Revisited
• Probabilistic agent programs

This page was built for publication: Quantitative Logic Programming Revisited