{"id":"https://openalex.org/W2963703769","doi":"https://doi.org/10.24963/ijcai.2018/750","title":"The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs","display_name":"The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2963703769","doi":"https://doi.org/10.24963/ijcai.2018/750","mag":"2963703769"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2018/750","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/750","pdf_url":"https://www.ijcai.org/proceedings/2018/0750.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2018/0750.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038937008","display_name":"Panos Rondogiannis","orcid":null},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Panos Rondogiannis","raw_affiliation_strings":["National and Kapodistrian University of Athens"],"affiliations":[{"raw_affiliation_string":"National and Kapodistrian University of Athens","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052186541","display_name":"Ioanna Symeonidou","orcid":null},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Ioanna Symeonidou","raw_affiliation_strings":["National and Kapodistrian University of Athens"],"affiliations":[{"raw_affiliation_string":"National and Kapodistrian University of Athens","institution_ids":["https://openalex.org/I200777214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5052186541"],"corresponding_institution_ids":["https://openalex.org/I200777214"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.23703382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"5344","last_page":"5348"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9968000054359436,"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/extensionality","display_name":"Extensionality","score":0.9569822549819946},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.7736870050430298},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.7722649574279785},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6503115892410278},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.5533207058906555},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5367288589477539},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5358845591545105},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5355337262153625},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.4763762652873993},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.45567119121551514},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.42747607827186584},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.4101182222366333},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33353716135025024},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.24921822547912598},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.21815136075019836},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.05071327090263367}],"concepts":[{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.9569822549819946},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7736870050430298},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.7722649574279785},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6503115892410278},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.5533207058906555},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5367288589477539},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5358845591545105},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5355337262153625},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4763762652873993},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.45567119121551514},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.42747607827186584},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.4101182222366333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33353716135025024},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.24921822547912598},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.21815136075019836},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.05071327090263367},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2018/750","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/750","pdf_url":"https://www.ijcai.org/proceedings/2018/0750.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2018/750","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/750","pdf_url":"https://www.ijcai.org/proceedings/2018/0750.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.550000011920929,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2963703769.pdf","grobid_xml":"https://content.openalex.org/works/W2963703769.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W149229917","https://openalex.org/W1590388140","https://openalex.org/W1591526886","https://openalex.org/W1672891595","https://openalex.org/W1968513265","https://openalex.org/W2071118378","https://openalex.org/W2100577610","https://openalex.org/W2111353076","https://openalex.org/W2122293551","https://openalex.org/W2169914765","https://openalex.org/W2889566068","https://openalex.org/W2963286515"],"related_works":["https://openalex.org/W2049553349","https://openalex.org/W1630259549","https://openalex.org/W2113913457","https://openalex.org/W2738562150","https://openalex.org/W2122293551","https://openalex.org/W1993519655","https://openalex.org/W1911402732","https://openalex.org/W2779928863","https://openalex.org/W2962955761","https://openalex.org/W2089408484"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3,53],"examine":[4],"the":[5,50,66,70,73,78],"problem":[6],"of":[7,72,75],"providing":[8,32],"a":[9,23,83,96,100],"purely":[10],"extensional":[11,33],"three-valued":[12,84,110],"semantics":[13,34],"for":[14,31,56],"higher-order":[15,37,44,58],"logic":[16,38,45,59],"programs":[17,46],"with":[18,47],"negation.":[19,48],"We":[20,68],"demonstrate":[21,54],"that":[22,25,55,82,92],"technique":[24],"was":[26],"proposed":[27],"by":[28,65],"M.":[29],"Bezem":[30],"to":[35,43,94,106],"positive":[36,51],"programs,":[39,60],"fails":[40],"when":[41],"applied":[42],"On":[49],"side,":[52],"stratified":[57],"extensionality":[61,76],"is":[62],"indeed":[63],"achieved":[64],"technique.":[67],"analyze":[69],"reasons":[71],"failure":[74],"in":[77],"general":[79],"case,":[80],"arguing":[81],"setting":[85],"can":[86],"not":[87],"distinguish":[88],"between":[89],"certain":[90],"predicates":[91],"appear":[93],"have":[95],"different":[97],"behaviour":[98],"inside":[99],"program":[101],"context,":[102],"but":[103],"which":[104],"happen":[105],"be":[107],"identical":[108],"as":[109],"relations.":[111]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}