scientific article; zbMATH DE number 1140683
From MaRDI portal
Publication:4385449
zbMATH Open0894.68032MaRDI QIDQ4385449FDOQ4385449
Authors: Frieder Stolzenburg 
Publication date: 13 April 1998
Title of this publication is not available (Why is that?)
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)
- Title not available (Why is that?)
- Interval propagation to reason about sets: Definition and implementation of a practical language
- A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
- Constructive negation and constraint logic programming with sets
- Knowledge-based proof planning
- Title not available (Why is that?)
- Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case
- Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages
- Set constraints and logic programming
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)
