Set constructors in a logic database language
From MaRDI portal
Publication:3212263
DOI10.1016/0743-1066(91)90036-OzbMath0724.68016MaRDI QIDQ3212263
Shalom Tsur, Shamim Naqvi, Catriel Beeri, Oded Shmueli
Publication date: 1991
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Database theory (68P15) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99) Logic programming (68N17)
Related Items (8)
An object-oriented deductive language ⋮ Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates ⋮ Logic programming approach to automata-based decision procedures ⋮ Automated reasoning with restricted intensional sets ⋮ Interval propagation to reason about sets: Definition and implementation of a practical language ⋮ Constructive negation and constraint logic programming with sets ⋮ Unnamed Item ⋮ Incremental reasoning on monadic second-order logics with logic programming
This page was built for publication: Set constructors in a logic database language
