Pages that link to "Item:Q2372195"
From MaRDI portal
The following pages link to Termination of logic programs with imperfect information: applications and query procedure (Q2372195):
Displaying 17 items.
- A core language for fuzzy answer set programming (Q448947) (← links)
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- A top-\(k\) query answering procedure for fuzzy logic programming (Q695268) (← links)
- Aggregated fuzzy answer set programming (Q766043) (← links)
- Tabulation proof procedures for fuzzy linguistic logic programming (Q899133) (← links)
- An improved reductant calculus using fuzzy partial evaluation techniques (Q1037854) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Syntax and semantics of multi-adjoint normal logic programming (Q1795198) (← links)
- Right adjoint algebras versus operator left residuated posets (Q2670894) (← links)
- On the existence and unicity of stable models in normal residuated logic programs (Q2887039) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS (Q3620350) (← links)
- Reducing fuzzy answer set programming to model finding in fuzzy logics (Q4897702) (← links)
- (Q5093393) (← links)
- Towards the Use of Hypergraphs in Multi-adjoint Logic Programming (Q5215753) (← links)
- Fuzzy logic programs as hypergraphs. Termination results (Q6079415) (← links)
- Hypergraphs in logic programming (Q6587942) (← links)