Automated generation of logical constraints on approximation spaces using quantifier elimination

DOI10.3233/FI-2013-900zbMATH Open1275.68146OpenAlexW1778761959MaRDI QIDQ2865084FDOQ2865084

Authors: 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

Recommendations

• A corresponding framework between three-valued logics and similarity-based approximate reasoning
• General set approximation and its logical applications
• Approximation Schemes in Logic and Artificial Intelligence
• Rough Sets and Current Trends in Computing
• scientific article; zbMATH DE number 1303625

zbMATH Keywords

approximate reasoningrough setsknowledge representationquantifier eliminationapproximation spaces

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants

This page was built for publication: Automated generation of logical constraints on approximation spaces using quantifier elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865084)