{"id":"https://openalex.org/W2560482109","doi":"https://doi.org/10.1007/s00165-016-0404-0","title":"On dual programs in co-logic programming and the Horn \u03bc-calculus","display_name":"On dual programs in co-logic programming and the Horn \u03bc-calculus","publication_year":2016,"publication_date":"2016-12-09","ids":{"openalex":"https://openalex.org/W2560482109","doi":"https://doi.org/10.1007/s00165-016-0404-0","mag":"2560482109"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-016-0404-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0404-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","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/A5110298441","display_name":"Hirohisa Seki","orcid":null},"institutions":[{"id":"https://openalex.org/I197274945","display_name":"Nagoya Institute of Technology","ror":"https://ror.org/055yf1005","country_code":"JP","type":"education","lineage":["https://openalex.org/I197274945"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Hirohisa Seki","raw_affiliation_strings":["Department of Computer Science, Nagoya Institute of Technology, 466-8555, Showa-ku, Nagoya, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Nagoya Institute of Technology, 466-8555, Showa-ku, Nagoya, Japan","institution_ids":["https://openalex.org/I197274945"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110298441"],"corresponding_institution_ids":["https://openalex.org/I197274945"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0875199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"29","issue":"3","first_page":"401","last_page":"421"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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.9958000183105469,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9950000047683716,"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/logic-programming","display_name":"Logic programming","score":0.630028486251831},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5925507545471191},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.5697322487831116},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5461323261260986},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.5269618630409241},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5082671046257019},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.4852883517742157},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.46209779381752014},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.4210602939128876},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.36009714007377625},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3492656946182251},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.30971837043762207},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.18782112002372742}],"concepts":[{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.630028486251831},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5925507545471191},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5697322487831116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5461323261260986},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5269618630409241},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5082671046257019},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4852883517742157},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.46209779381752014},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.4210602939128876},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36009714007377625},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3492656946182251},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.30971837043762207},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.18782112002372742},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-016-0404-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0404-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W64077253","https://openalex.org/W89689627","https://openalex.org/W134901130","https://openalex.org/W658233897","https://openalex.org/W1482244486","https://openalex.org/W1506396519","https://openalex.org/W1517223672","https://openalex.org/W1541434994","https://openalex.org/W1570366700","https://openalex.org/W1672891595","https://openalex.org/W1963107927","https://openalex.org/W1968516603","https://openalex.org/W1984715534","https://openalex.org/W1987660355","https://openalex.org/W2004486808","https://openalex.org/W2019968021","https://openalex.org/W2031868932","https://openalex.org/W2037035101","https://openalex.org/W2067092487","https://openalex.org/W2070681361","https://openalex.org/W2091154692","https://openalex.org/W2099792091","https://openalex.org/W2100577610","https://openalex.org/W2132745831","https://openalex.org/W2159781166","https://openalex.org/W2282023992","https://openalex.org/W2394506599","https://openalex.org/W2474384703","https://openalex.org/W2911601159","https://openalex.org/W2913459036","https://openalex.org/W2964302239","https://openalex.org/W3022987785","https://openalex.org/W3104775800","https://openalex.org/W4206370914","https://openalex.org/W4234096182","https://openalex.org/W6711920356"],"related_works":["https://openalex.org/W2091631741","https://openalex.org/W40570767","https://openalex.org/W1756530980","https://openalex.org/W2327931696","https://openalex.org/W2396454661","https://openalex.org/W1627528933","https://openalex.org/W2161391467","https://openalex.org/W2156536027","https://openalex.org/W2406431943","https://openalex.org/W3042561799"],"abstract_inverted_index":{"Abstract":[0],"We":[1,23,107,144],"consider":[2,25,109],"some":[3,110,147],"extensions":[4],"of":[5,33,55,99,112,133,149],"co-logic":[6,37,63,78,100,105,114,151],"programming":[7,101],"and":[8,85,121,160],"study":[9],"its":[10,46],"relationship":[11],"with":[12,65],"the":[13,53,70,87,117,134,165],"Horn":[14,88],"<mml:math":[15,49,89],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi":[16,90],"mathvariant=\"italic\">\u03bc</mml:mi></mml:math>":[17,91],"-calculus":[18,92],"by":[19],"Charatonik":[20],"et":[21],"al.":[22],"first":[24],"negation":[26],"elimination":[27],"(NE)":[28],",":[29,43],"a":[30,40,73,161],"familiar":[31],"technique":[32],"program":[34,41,48,154],"transformation,":[35],"for":[36,102,164],"programs.":[38,106,143],"Given":[39],"P":[42,56],"NE":[44,61],"derives":[45],"dual":[47,142],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:msup><mml:mi>P</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:math>":[50],"which":[51],"defines":[52],"\u201ccomplement\u201d":[54],".":[57],"When":[58],"we":[59,67,127],"apply":[60],"to":[62,116,153],"programs":[64,115,152],"negation,":[66],"show":[68],"that":[69,86],"stratification":[71],"restriction,":[72],"syntactic":[74],"condition":[75],"imposed":[76],"on":[77],"programs,":[79],"becomes":[80],"too":[81],"restrictive":[82],"in":[83],"general,":[84],"can":[93],"be":[94],"used":[95],"as":[96,136,138,157],"an":[97],"extension":[98],"handling":[103],"\u201cnon-stratified\u201d":[104],"then":[108],"applications":[111,148],"non-stratified":[113,150],"well-founded":[118],"semantics":[119],"(WFS)":[120],"Answer":[122],"Set":[123],"Programming.":[124],"In":[125],"particular,":[126],"give":[128],"new":[129],"iterated":[130],"fixpoint":[131],"characterizations":[132],"WFS":[135],"well":[137],"answer":[139],"sets":[140],"via":[141],"also":[145],"discuss":[146],"transformation":[155],"such":[156],"partial":[158],"deduction,":[159],"proof":[162],"procedure":[163],"WFS.":[166]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}