{"id":"https://openalex.org/W2217031491","doi":"https://doi.org/10.2991/978-94-91216-59-6","title":"Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach","display_name":"Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2217031491","doi":"https://doi.org/10.2991/978-94-91216-59-6","mag":"2217031491"},"language":"en","primary_location":{"id":"doi:10.2991/978-94-91216-59-6","is_oa":false,"landing_page_url":"https://doi.org/10.2991/978-94-91216-59-6","pdf_url":null,"source":{"id":"https://openalex.org/S4210168101","display_name":"Atlantis computational intelligence systems","issn_l":"1875-7650","issn":["1875-7650","2215-1710"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315540","host_organization_name":"Atlantis Press","host_organization_lineage":["https://openalex.org/P4310315540"],"host_organization_lineage_names":["Atlantis Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Atlantis Computational Intelligence Systems","raw_type":"book"},"type":"book","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/A5085575523","display_name":"Jeroen Janssen","orcid":"https://orcid.org/0000-0003-3457-366X"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"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/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210112160","display_name":"Atlantis Consulting (Greece)","ror":"https://ror.org/023366513","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210112160"]}],"countries":["AU","BE","ES","GR"],"is_corresponding":false,"raw_author_name":"Jeroen Janssen","raw_affiliation_strings":["AMSTERDAM -PARIS -BEIJING","AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","Atlantis Computational Intelligence Systems","Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING","institution_ids":[]},{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","institution_ids":[]},{"raw_affiliation_string":"Atlantis Computational Intelligence Systems","institution_ids":["https://openalex.org/I4210112160"]},{"raw_affiliation_string":"Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]},{"raw_affiliation_string":"Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","institution_ids":[]},{"raw_affiliation_string":"Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052196540","display_name":"Steven Schockaert","orcid":"https://orcid.org/0000-0002-9256-2881"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"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/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210112160","display_name":"Atlantis Consulting (Greece)","ror":"https://ror.org/023366513","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210112160"]}],"countries":["AU","BE","ES","GR"],"is_corresponding":false,"raw_author_name":"Steven Schockaert","raw_affiliation_strings":["AMSTERDAM -PARIS -BEIJING","AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","Atlantis Computational Intelligence Systems","Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING","institution_ids":[]},{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","institution_ids":[]},{"raw_affiliation_string":"Atlantis Computational Intelligence Systems","institution_ids":["https://openalex.org/I4210112160"]},{"raw_affiliation_string":"Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]},{"raw_affiliation_string":"Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","institution_ids":[]},{"raw_affiliation_string":"Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111467762","display_name":"Dirk Vermeir","orcid":null},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"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/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210112160","display_name":"Atlantis Consulting (Greece)","ror":"https://ror.org/023366513","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210112160"]}],"countries":["AU","BE","ES","GR"],"is_corresponding":false,"raw_author_name":"Dirk Vermeir","raw_affiliation_strings":["AMSTERDAM -PARIS -BEIJING","AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","Atlantis Computational Intelligence Systems","Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING","institution_ids":[]},{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","institution_ids":[]},{"raw_affiliation_string":"Atlantis Computational Intelligence Systems","institution_ids":["https://openalex.org/I4210112160"]},{"raw_affiliation_string":"Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]},{"raw_affiliation_string":"Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","institution_ids":[]},{"raw_affiliation_string":"Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056749857","display_name":"Martine De Cock","orcid":"https://orcid.org/0000-0001-7917-0771"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"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/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210112160","display_name":"Atlantis Consulting (Greece)","ror":"https://ror.org/023366513","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210112160"]}],"countries":["AU","BE","ES","GR"],"is_corresponding":false,"raw_author_name":"Martine de Cock","raw_affiliation_strings":["AMSTERDAM -PARIS -BEIJING","AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","Atlantis Computational Intelligence Systems","Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING","institution_ids":[]},{"raw_affiliation_string":"AMSTERDAM -PARIS -BEIJING Atlantis Press 8, square des Bouleaux 75019 Paris, France","institution_ids":[]},{"raw_affiliation_string":"Atlantis Computational Intelligence Systems","institution_ids":["https://openalex.org/I4210112160"]},{"raw_affiliation_string":"Department of Statistics and Operational Research, Faculty of Mathematics Complutense University of Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Faculty of Engineering and Information Technology, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]},{"raw_affiliation_string":"Ghent University, Dept. of Applied Mathematics and Computer Science (WE02), Krijgslaan 281 (S9), 9000 Gent, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"School of Computer Science & Informatics, Queen's Buildings, 5 The Parade, Roath, Cardiff CF24 3AA, United Kingdom","institution_ids":[]},{"raw_affiliation_string":"Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2, 1050 Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6304,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81421273,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973000288009644,"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.9973000288009644,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9922000169754028,"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/T10142","display_name":"Formal Methods in Verification","score":0.9154000282287598,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5991814732551575},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5681008696556091},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5053115487098694},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.48861628770828247},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4604225158691406},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.41370198130607605},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2777899205684662}],"concepts":[{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5991814732551575},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5681008696556091},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5053115487098694},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.48861628770828247},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4604225158691406},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.41370198130607605},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2777899205684662}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2991/978-94-91216-59-6","is_oa":false,"landing_page_url":"https://doi.org/10.2991/978-94-91216-59-6","pdf_url":null,"source":{"id":"https://openalex.org/S4210168101","display_name":"Atlantis computational intelligence systems","issn_l":"1875-7650","issn":["1875-7650","2215-1710"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315540","host_organization_name":"Atlantis Press","host_organization_lineage":["https://openalex.org/P4310315540"],"host_organization_lineage_names":["Atlantis Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Atlantis Computational Intelligence Systems","raw_type":"book"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-026034095","is_oa":false,"landing_page_url":"https://ebookcentral.proquest.com/lib/munchentech/detail.action?docID=994265","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software, multimedia"},{"id":"pmh:oai:archive.ugent.be:3203603","is_oa":false,"landing_page_url":"http://hdl.handle.net/1854/LU-3203603","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1875-7650","raw_type":"info:eu-repo/semantics/book"},{"id":"pmh:oai:dial.uclouvain.be:ebook:35157","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078/ebook:35157","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W2217031491","https://openalex.org/W2287615971","https://openalex.org/W3021409474","https://openalex.org/W4238072540"],"related_works":["https://openalex.org/W2171836055","https://openalex.org/W3105322051","https://openalex.org/W2174399230","https://openalex.org/W1548946286","https://openalex.org/W2016993683","https://openalex.org/W3200306105","https://openalex.org/W2949422477","https://openalex.org/W2764157639","https://openalex.org/W206670740","https://openalex.org/W3104588709"],"abstract_inverted_index":{"Answer":[0],"set":[1,104,118],"programming":[2,9,105,119],"(ASP)":[3],"is":[4,25,74,114],"a":[5,159,172],"form":[6],"of":[7,15,21,96,148,153,174,187],"logic":[8],"that":[10],"originated":[11],"at":[12],"the":[13,16,19,22,40,69,94,127,146,150,188],"end":[14],"1980s":[17],"and":[18,49,64,134,140,165],"beginning":[20],"1990s.":[23],"It":[24],"especially":[26],"tailored":[27],"towards":[28],"solving":[29],"hard":[30],"search":[31],"problems,":[32,59],"which":[33],"it":[34,44],"allows":[35],"to":[36,57,90,158],"encode":[37],"concisely.":[38],"In":[39,85],"past":[41],"two":[42,122],"decades":[43],"has":[45,50],"known":[46],"great":[47],"success":[48],"\u2013":[51,54],"among":[52],"others":[53],"been":[55],"applied":[56],"planning":[58],"musical":[60],"composition,":[61],"biological":[62],"modeling":[63,80],"decision":[65],"support":[66],"systems":[67],"for":[68,79,171],"space":[70],"shuttle.":[71],"Unfortunately,":[72],"ASP":[73,92],"not":[75],"very":[76],"well":[77],"equipped":[78],"problems":[81,99],"in":[82,137,162,176],"continuous":[83,98],"domains.":[84],"this":[86],"book":[87],"we":[88,131,143,181],"attempt":[89],"augment":[91],"with":[93],"capability":[95],"expressing":[97],"by":[100],"creating":[101],"an":[102,168],"answer":[103,117],"framework":[106],"based":[107],"on":[108,145,184,191],"fuzzy":[109,116],"logic.":[110],"The":[111],"resulting":[112],"language":[113,161,189],"called":[115],"(FASP).":[120],"After":[121],"introductory":[123],"chapters,":[124],"also":[125],"introducing":[126],"necessary":[128],"technical":[129],"background,":[130],"study":[132,167],"FASP":[133,154,175],"its":[135],"extensions":[136,152],"Chapters":[138],"3":[139],"4.":[141],"Then":[142],"focus":[144,182],"question":[147],"whether":[149],"many":[151],"can":[155],"be":[156],"compiled":[157],"core":[160],"Chapter":[163,177],"5":[164],"succeedingly":[166],"implementation":[169],"method":[170],"subset":[173],"6.":[178],"As":[179],"such,":[180],"both":[183],"theoretical":[185],"aspects":[186,194],"as":[190,196],"more":[192],"practical":[193],"such":[195],"implementation.":[197]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}