{"id":"https://openalex.org/W1778761959","doi":"https://doi.org/10.3233/fi-2013-900","title":"Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination","display_name":"Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1778761959","doi":"https://doi.org/10.3233/fi-2013-900","mag":"1778761959"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2013-900","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2013-900","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043644928","display_name":"Patrick Doherty","orcid":"https://orcid.org/0000-0003-2308-7412"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Patrick Doherty","raw_affiliation_strings":["Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden. patrick.doherty@liu.se"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden. patrick.doherty@liu.se","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007619026","display_name":"Andrzej Sza\u0142as","orcid":"https://orcid.org/0000-0002-6000-6581"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]},{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL","SE"],"is_corresponding":false,"raw_author_name":"Andrzej Sza\u0142as","raw_affiliation_strings":["Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden. andrzej.szalas@{mimuw.edu.pl, liu.se}","Institute of Informatics, University of Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden. andrzej.szalas@{mimuw.edu.pl, liu.se}","institution_ids":["https://openalex.org/I102134673"]},{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04937143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"127","issue":"1-4","first_page":"135","last_page":"149"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9678999781608582,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.8974308967590332},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.542325496673584},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.46768027544021606},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41427043080329895},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41267138719558716},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38843291997909546},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3498435318470001},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14142492413520813}],"concepts":[{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.8974308967590332},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.542325496673584},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.46768027544021606},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41427043080329895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41267138719558716},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38843291997909546},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3498435318470001},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14142492413520813}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2013-900","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2013-900","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.800000011920929}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321551","display_name":"Chongqing University of Arts and Sciences","ror":"https://ror.org/01rcvq140"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W102286290","https://openalex.org/W114870309","https://openalex.org/W1500551953","https://openalex.org/W1528554995","https://openalex.org/W1531714509","https://openalex.org/W1536469384","https://openalex.org/W1538807230","https://openalex.org/W1557923305","https://openalex.org/W1560749011","https://openalex.org/W1591618909","https://openalex.org/W1689688754","https://openalex.org/W1759956315","https://openalex.org/W2057503265","https://openalex.org/W2118348866","https://openalex.org/W2610820907","https://openalex.org/W2999886563"],"related_works":["https://openalex.org/W4214737172","https://openalex.org/W3012938552","https://openalex.org/W2170779139","https://openalex.org/W2324712051","https://openalex.org/W4287825236","https://openalex.org/W1524103539","https://openalex.org/W1239946963","https://openalex.org/W71729059","https://openalex.org/W1973527399","https://openalex.org/W2798639752"],"abstract_inverted_index":{"This":[0],"paper":[1],"focuses":[2],"on":[3,7],"approximate":[4,52],"reasoning":[5,79],"based":[6],"the":[8,16,26,59,97],"use":[9],"of":[10,25,30,58,96,101,105],"approximation":[11,106,119],"spaces.":[12,107,120],"Approximation":[13,32],"spaces":[14,33],"and":[15,41,54,103],"approximated":[17],"relations":[18,67],"induced":[19],"by":[20,131],"them":[21],"are":[22,34,48],"a":[23,78,89,93],"generalization":[24],"rough":[27,42],"set-based":[28],"approximations":[29,102],"Pawlak.":[31],"used":[35,49,76],"to":[36,50,64],"define":[37,51],"neighborhoods":[38],"around":[39],"individuals":[40],"inclusion":[43],"functions.":[44],"These":[45],"in":[46,68],"turn":[47],"sets":[53],"relations.":[55],"In":[56],"any":[57],"approaches,":[60],"one":[61],"would":[62],"like":[63],"embed":[65],"such":[66],"an":[69,115],"appropriate":[70],"logical":[71],"theory":[72],"which":[73,91],"can":[74,127],"be":[75,128],"as":[77],"engine":[80],"for":[81,118,134],"specific":[82,85],"applications":[83],"with":[84],"constraints.":[86],"We":[87,121],"propose":[88],"framework":[90,117,126],"permits":[92],"formal":[94],"study":[95],"relationship":[98],"between":[99],"properties":[100,104],"Using":[108],"ideas":[109],"from":[110],"correspondence":[111],"theory,":[112],"we":[113],"develop":[114],"analogous":[116],"also":[122],"show":[123],"that":[124],"this":[125],"strongly":[129],"supported":[130],"automated":[132],"techniques":[133],"quantifier":[135],"elimination.":[136]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}