Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination

DOI10.3233/FI-2013-900zbMath1275.68146OpenAlexW1778761959MaRDI QIDQ2865084

Patrick Doherty, Andrzej Szałas

Publication date: 28 November 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-900

zbMATH Keywords

rough setsquantifier eliminationknowledge representationapproximation spacesapproximate reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

This page was built for publication: Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination