Pages that link to "Item:Q5458442"
From MaRDI portal
The following pages link to Quantitative Logic Programming Revisited (Q5458442):
Displaying 15 items.
- Proximity-based unification theory (Q529054) (← links)
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628) (← links)
- Qualified logic programming with bivalued predicates (Q2808238) (← links)
- (Q3126163) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- (Q4264062) (← links)
- (Q4888321) (← links)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)
- Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs (Q5214098) (← links)
- Qualified Computations in Functional Logic Programming (Q5325770) (← links)
- Quantitative Logic Programming Revisited (Q5458442) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
- Theory and Applications of Satisfiability Testing (Q5714777) (← links)
- QMaude: quantitative specification and verification in rewriting logic (Q6174537) (← links)