A decision procedure for restricted intensional sets

DOI10.1007/978-3-319-63046-5_12zbMath1496.03041OpenAlexW2735782400MaRDI QIDQ2405250

Gianfranco Rossi, Maximiliano Cristiá

Publication date: 22 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-63046-5_12

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (7)

Automated reasoning with restricted intensional sets ⋮ An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ ⋮ Unnamed Item ⋮ Automated proof of Bell-LaPadula security properties ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ An automatically verified prototype of the Tokeneer ID station specification ⋮ An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆

Uses Software

• MiniZinc
• ProB

This page was built for publication: A decision procedure for restricted intensional sets