{"id":"https://openalex.org/W2129686131","doi":"https://doi.org/10.1023/a:1012502800961","title":"The Branching-Time Transformation Technique for Chain Datalog Programs","display_name":"The Branching-Time Transformation Technique for Chain Datalog Programs","publication_year":2001,"publication_date":"2001-11-01","ids":{"openalex":"https://openalex.org/W2129686131","doi":"https://doi.org/10.1023/a:1012502800961","mag":"2129686131"},"language":"en","primary_location":{"id":"doi:10.1023/a:1012502800961","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1012502800961","pdf_url":null,"source":{"id":"https://openalex.org/S36033921","display_name":"Journal of Intelligent Information Systems","issn_l":"0925-9902","issn":["0925-9902","1573-7675"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent Information Systems","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/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":true,"raw_author_name":"Panos Rondogiannis","raw_affiliation_strings":["Dept. of Informatics and Telecommunications, University of Athens, 15784, Athens, Greece","Dept. of Informatics and Telecommunications, University of Athens, 15784 Athens, Greece. prondo@di.uoa.gr"],"affiliations":[{"raw_affiliation_string":"Dept. of Informatics and Telecommunications, University of Athens, 15784, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]},{"raw_affiliation_string":"Dept. of Informatics and Telecommunications, University of Athens, 15784 Athens, Greece. prondo@di.uoa.gr","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061141406","display_name":"Manolis Gergatsoulis","orcid":"https://orcid.org/0000-0001-9744-5839"},"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":"Manolis Gergatsoulis","raw_affiliation_strings":["National Centre for Scientific Research (NCSR) \u2018Demokritos\u2019, Inst. of Informatics and Telecommunications, 15310 A. Paraskevi Attikis, Athens, Greece","Inst. of Informatics and Telecommunications, National Centre for Scientific Research (NCSR) \u2018Demokritos\u2019, 15310 A. Paraskevi Attikis, Athens, Greece. manolis@iit.demokritos.gr< ...#TAB#"],"affiliations":[{"raw_affiliation_string":"National Centre for Scientific Research (NCSR) \u2018Demokritos\u2019, Inst. of Informatics and Telecommunications, 15310 A. Paraskevi Attikis, Athens, Greece","institution_ids":["https://openalex.org/I203474044","https://openalex.org/I4387152169"]},{"raw_affiliation_string":"Inst. of Informatics and Telecommunications, National Centre for Scientific Research (NCSR) \u2018Demokritos\u2019, 15310 A. Paraskevi Attikis, Athens, Greece. manolis@iit.demokritos.gr< ...#TAB#","institution_ids":["https://openalex.org/I203474044","https://openalex.org/I4387152169"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038937008"],"corresponding_institution_ids":["https://openalex.org/I200777214"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":null,"fwci":1.095,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84605336,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"1","first_page":"71","last_page":"94"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9987999796867371,"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/datalog","display_name":"Datalog","score":0.9726085662841797},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8220390677452087},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7937523126602173},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.7219444513320923},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.5922735333442688},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.4585459232330322},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.45417049527168274},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44381627440452576},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.443759560585022},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.4396815598011017},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.42924126982688904},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2677799463272095},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.22367382049560547},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17527863383293152},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15226584672927856}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9726085662841797},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8220390677452087},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7937523126602173},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.7219444513320923},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.5922735333442688},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.4585459232330322},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.45417049527168274},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44381627440452576},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.443759560585022},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4396815598011017},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.42924126982688904},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2677799463272095},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.22367382049560547},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17527863383293152},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15226584672927856},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1012502800961","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1012502800961","pdf_url":null,"source":{"id":"https://openalex.org/S36033921","display_name":"Journal of Intelligent Information Systems","issn_l":"0925-9902","issn":["0925-9902","1573-7675"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent Information Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W133179825","https://openalex.org/W270081759","https://openalex.org/W1486653873","https://openalex.org/W1497657319","https://openalex.org/W1531044637","https://openalex.org/W1541434994","https://openalex.org/W1543641760","https://openalex.org/W1567927937","https://openalex.org/W1575868880","https://openalex.org/W1581336022","https://openalex.org/W1585597608","https://openalex.org/W1968020804","https://openalex.org/W1978108034","https://openalex.org/W1990406816","https://openalex.org/W1992810975","https://openalex.org/W2000073049","https://openalex.org/W2036079255","https://openalex.org/W2044831893","https://openalex.org/W2044922487","https://openalex.org/W2048541310","https://openalex.org/W2069294703","https://openalex.org/W2086240210","https://openalex.org/W2124864854","https://openalex.org/W2136547062","https://openalex.org/W2160480604","https://openalex.org/W2162621793","https://openalex.org/W2163810897","https://openalex.org/W2164371360","https://openalex.org/W2169411354","https://openalex.org/W2270782202","https://openalex.org/W2913954530","https://openalex.org/W3140389550","https://openalex.org/W4206370914","https://openalex.org/W6605351654","https://openalex.org/W6610022735","https://openalex.org/W6694309368"],"related_works":["https://openalex.org/W1565767456","https://openalex.org/W4242285398","https://openalex.org/W1552372479","https://openalex.org/W2583213513","https://openalex.org/W1582387176","https://openalex.org/W4246091227","https://openalex.org/W1945902811","https://openalex.org/W2058395701","https://openalex.org/W2593015871","https://openalex.org/W79246384"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}