{"id":"https://openalex.org/W3082567083","doi":"https://doi.org/10.1109/fuzz48607.2020.9177715","title":"A System implementing Fuzzy Hypothetical Datalog<sup>\u22c6</sup>","display_name":"A System implementing Fuzzy Hypothetical Datalog<sup>\u22c6</sup>","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3082567083","doi":"https://doi.org/10.1109/fuzz48607.2020.9177715","mag":"3082567083"},"language":"en","primary_location":{"id":"doi:10.1109/fuzz48607.2020.9177715","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz48607.2020.9177715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-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/A5028925247","display_name":"Pascual Juli\u00e1n-Iranzo","orcid":"https://orcid.org/0000-0002-6482-3220"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pascual Julian-Iranzo","raw_affiliation_strings":["Dept. of Information Technologies and Systems, University of Castilla-La Mancha"],"affiliations":[{"raw_affiliation_string":"Dept. of Information Technologies and Systems, University of Castilla-La Mancha","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046988140","display_name":"Fernando S\u00e1enz-P\u00e9rez","orcid":"https://orcid.org/0000-0001-6075-4398"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]},{"id":"https://openalex.org/I97750245","display_name":"Software (Spain)","ror":"https://ror.org/02ethns06","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210087817","https://openalex.org/I97750245"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fernando Saenz-Perez","raw_affiliation_strings":["Dept. of Software Engineering and Artificial Intelligence, Complutense University of Madrid"],"affiliations":[{"raw_affiliation_string":"Dept. of Software Engineering and Artificial Intelligence, Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325","https://openalex.org/I97750245"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028925247"],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":0.1326,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.5433922,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"10","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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/T11106","display_name":"Data Management and Algorithms","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9973999857902527,"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/datalog","display_name":"Datalog","score":0.9561538100242615},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7844930291175842},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.652296781539917},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.6459144353866577},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5583004355430603},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5463096499443054},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.45395535230636597},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3594585657119751},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3390691578388214},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.30629459023475647}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9561538100242615},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7844930291175842},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.652296781539917},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.6459144353866577},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5583004355430603},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5463096499443054},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.45395535230636597},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3594585657119751},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3390691578388214},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30629459023475647}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fuzz48607.2020.9177715","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz48607.2020.9177715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W129332645","https://openalex.org/W1528738961","https://openalex.org/W1595443289","https://openalex.org/W1601846431","https://openalex.org/W1695640212","https://openalex.org/W1974338077","https://openalex.org/W1975980014","https://openalex.org/W1984723670","https://openalex.org/W1989381622","https://openalex.org/W2006347320","https://openalex.org/W2007452568","https://openalex.org/W2008865455","https://openalex.org/W2021473914","https://openalex.org/W2097474199","https://openalex.org/W2102885020","https://openalex.org/W2126897484","https://openalex.org/W2131653381","https://openalex.org/W2139861604","https://openalex.org/W2263249162","https://openalex.org/W2543953340","https://openalex.org/W2563728751","https://openalex.org/W2793596619","https://openalex.org/W2896684922","https://openalex.org/W2901959279","https://openalex.org/W2911601159","https://openalex.org/W3160986365","https://openalex.org/W4229861117","https://openalex.org/W6605258190","https://openalex.org/W6631792712","https://openalex.org/W6636134722","https://openalex.org/W6729167014"],"related_works":["https://openalex.org/W1565767456","https://openalex.org/W4242285398","https://openalex.org/W79246384","https://openalex.org/W2593015871","https://openalex.org/W2570392075","https://openalex.org/W1552372479","https://openalex.org/W1556735226","https://openalex.org/W2023906867","https://openalex.org/W2583213513","https://openalex.org/W1548774621"],"abstract_inverted_index":{"This":[0,55],"paper":[1],"presents":[2],"a":[3,6,10,25,41,91],"system":[4,93],"implementing":[5],"novel":[7],"addition":[8],"to":[9,20],"fuzzy":[11,42,45],"deductive":[12],"database:":[13],"hypothetical":[14],"queries.":[15],"Such":[16],"queries":[17],"allow":[18],"users":[19],"dynamically":[21],"make":[22],"assumptions":[23],"on":[24],"given":[26],"database":[27,43],"instance,":[28],"either":[29],"by":[30],"adding":[31],"or":[32],"removing":[33],"data,":[34],"without":[35],"changing":[36],"the":[37,70],"instance.":[38],"Further,":[39],"since":[40],"includes":[44],"relations,":[46],"these":[47],"relations":[48],"can":[49],"also":[50],"be":[51],"changed":[52],"with":[53,79],"assumptions.":[54],"ability":[56],"for":[57],"dynamic":[58],"change":[59],"seamlessly":[60],"enables":[61],"writing":[62],"\"what-if\"":[63],"applications":[64],"such":[65],"as":[66],"decision-support":[67],"systems.":[68],"Here,":[69],"new":[71],"language":[72],"Fuzzy":[73],"Hypothetical":[74],"Datalog":[75],"is":[76],"presented,":[77],"along":[78],"an":[80],"operational":[81],"semantics":[82],"and":[83],"stratified":[84],"inference.":[85],"It":[86],"has":[87],"been":[88],"implemented":[89],"in":[90],"working":[92],"DES":[94],"readily":[95],"available":[96],"on-line.":[97]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}