{"id":"https://openalex.org/W1432665454","doi":"https://doi.org/10.1007/978-3-642-38812-5_2","title":"A Refinement Operator for Inducing Threaded-Variable Clauses","display_name":"A Refinement Operator for Inducing Threaded-Variable Clauses","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1432665454","doi":"https://doi.org/10.1007/978-3-642-38812-5_2","mag":"1432665454"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-38812-5_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-38812-5_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5078140903","display_name":"Angelos Charalambidis","orcid":"https://orcid.org/0000-0001-7437-410X"},"institutions":[{"id":"https://openalex.org/I72702400","display_name":"Athens State University","ror":"https://ror.org/01zx16v02","country_code":"US","type":"education","lineage":["https://openalex.org/I72702400"]},{"id":"https://openalex.org/I4387152169","display_name":"Institute of Informatics & Telecommunications","ror":"https://ror.org/0396t6k89","country_code":null,"type":"facility","lineage":["https://openalex.org/I203474044","https://openalex.org/I4387152169"]},{"id":"https://openalex.org/I203474044","display_name":"National Centre of Scientific Research \"Demokritos\"","ror":"https://ror.org/038jp4m40","country_code":"GR","type":"facility","lineage":["https://openalex.org/I203474044"]}],"countries":["GR","US"],"is_corresponding":true,"raw_author_name":"Angelos Charalambidis","raw_affiliation_strings":["Dept. of Informatics and Telecommunications, University of Athens, Ilissia, 157 84, Greece","Institute of Informatics and Telecommunications, NCSR \u2018Demokritos\u2019, Ag. Paraskevi 153 10, Greece","Institute of Informatics and Telecommunications, NCSR 'Demokritos', Ag. Paraskevi 153 10, Greece"],"affiliations":[{"raw_affiliation_string":"Dept. of Informatics and Telecommunications, University of Athens, Ilissia, 157 84, Greece","institution_ids":["https://openalex.org/I72702400"]},{"raw_affiliation_string":"Institute of Informatics and Telecommunications, NCSR \u2018Demokritos\u2019, Ag. Paraskevi 153 10, Greece","institution_ids":["https://openalex.org/I203474044","https://openalex.org/I4387152169"]},{"raw_affiliation_string":"Institute of Informatics and Telecommunications, NCSR 'Demokritos', Ag. Paraskevi 153 10, Greece","institution_ids":["https://openalex.org/I4387152169","https://openalex.org/I203474044"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021491998","display_name":"Stasinos Konstantopoulos","orcid":"https://orcid.org/0000-0002-2586-1726"},"institutions":[{"id":"https://openalex.org/I4387152169","display_name":"Institute of Informatics & Telecommunications","ror":"https://ror.org/0396t6k89","country_code":null,"type":"facility","lineage":["https://openalex.org/I203474044","https://openalex.org/I4387152169"]},{"id":"https://openalex.org/I203474044","display_name":"National Centre of Scientific Research \"Demokritos\"","ror":"https://ror.org/038jp4m40","country_code":"GR","type":"facility","lineage":["https://openalex.org/I203474044"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Stasinos Konstantopoulos","raw_affiliation_strings":["Institute of Informatics and Telecommunications, NCSR \u2018Demokritos\u2019, Ag. Paraskevi 153 10, Greece","Institute of Informatics and Telecommunications, NCSR 'Demokritos', Ag. Paraskevi 153 10, Greece"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics and Telecommunications, NCSR \u2018Demokritos\u2019, Ag. Paraskevi 153 10, Greece","institution_ids":["https://openalex.org/I203474044","https://openalex.org/I4387152169"]},{"raw_affiliation_string":"Institute of Informatics and Telecommunications, NCSR 'Demokritos', Ag. Paraskevi 153 10, Greece","institution_ids":["https://openalex.org/I4387152169","https://openalex.org/I203474044"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078140903"],"corresponding_institution_ids":["https://openalex.org/I203474044","https://openalex.org/I4387152169","https://openalex.org/I72702400"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12767699,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"16","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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.9991000294685364,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9984999895095825,"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.998199999332428,"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/horn-clause","display_name":"Horn clause","score":0.8412362933158875},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.766096293926239},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6794089078903198},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.6100360751152039},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5848360061645508},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.5825362205505371},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.5385485887527466},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.46645277738571167},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4467933475971222},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.44396623969078064},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44123491644859314},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.4323716163635254},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4262758791446686},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40389883518218994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19664070010185242},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18258386850357056}],"concepts":[{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.8412362933158875},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.766096293926239},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6794089078903198},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.6100360751152039},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5848360061645508},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5825362205505371},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5385485887527466},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.46645277738571167},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4467933475971222},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.44396623969078064},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44123491644859314},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.4323716163635254},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4262758791446686},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40389883518218994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19664070010185242},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18258386850357056},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-38812-5_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-38812-5_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W131978732","https://openalex.org/W1529875955","https://openalex.org/W1606925267","https://openalex.org/W1850829840","https://openalex.org/W1876998290","https://openalex.org/W1920322788","https://openalex.org/W1975885865","https://openalex.org/W2034537542","https://openalex.org/W2053937765","https://openalex.org/W2059000558","https://openalex.org/W2102649816","https://openalex.org/W2119831128","https://openalex.org/W2161021345","https://openalex.org/W2163274265","https://openalex.org/W2163563414","https://openalex.org/W2503399183","https://openalex.org/W3120740533","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1607887046","https://openalex.org/W1558569658","https://openalex.org/W4232219978","https://openalex.org/W2149404336","https://openalex.org/W1493824320","https://openalex.org/W2003151706","https://openalex.org/W1480366690","https://openalex.org/W2741053223","https://openalex.org/W2595762659","https://openalex.org/W2596482909"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}