scientific article; zbMATH DE number 1140683
From MaRDI portal
Publication:4385449
Recommendations
- Set constraints and logic programming
- Constructive negation and constraint logic programming with sets
- Logic Programming and Nonmonotonic Reasoning
- Logic programming with sets
- Consistency properties and set based logic programming
- Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
- Logic Programming and Effectively Closed Sets
- Subset-logic programs and their implementation
- Satisfiability-based set membership filters
Cited in
(9)- Set constraints and logic programming
- scientific article; zbMATH DE number 1420799 (Why is no real title available?)
- Interval propagation to reason about sets: Definition and implementation of a practical language
- scientific article; zbMATH DE number 1420800 (Why is no real title available?)
- Constructive negation and constraint logic programming with sets
- Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages
- Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case
- A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
- Knowledge-based proof planning
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385449)
