{"id":"https://openalex.org/W2389445","doi":null,"title":"Yet another proof of the strong equivalence between propositional theories and logic programs","display_name":"Yet another proof of the strong equivalence between propositional theories and logic programs","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2389445","mag":"2389445"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.409.690","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.690","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://peace.eas.asu.edu/joolee/papers/f2lp.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5100343841","display_name":"Joohyung Lee","orcid":"https://orcid.org/0000-0003-1102-3905","observed_orcids":["https://orcid.org/0000-0003-1102-3905"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joohyung Lee","raw_affiliation_strings":["IAFSE-CIDSE: Computer Science and Engineering"],"raw_orcid":"https://orcid.org/0000-0003-1102-3905","affiliations":[{"raw_affiliation_string":"IAFSE-CIDSE: Computer Science and Engineering","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066997493","display_name":"Ravi Palla","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ravi Palla","raw_affiliation_strings":["Arizona State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Arizona State University","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5062,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89416184,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9965999722480774,"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.9965999722480774,"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.0006000000284984708,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.00019999999494757503,"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/propositional-theories","display_name":"propositional theories","score":0.8190000057220459},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"stable model semantics","score":0.9340000152587891},{"id":"https://openalex.org/keywords/logic-programs","display_name":"logic programs","score":0.8610000014305115},{"id":"https://openalex.org/keywords/strong-equivalence","display_name":"strong equivalence","score":0.8560000061988831},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"answer set programming","score":0.6389999985694885},{"id":"https://openalex.org/keywords/dlv","display_name":"DLV","score":0.9020000100135803},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.7129999995231628},{"id":"https://openalex.org/keywords/prenex-normal-form","display_name":"prenex normal form","score":0.9509999752044678},{"id":"https://openalex.org/keywords/classical-logic","display_name":"classical logic","score":0.5}],"concepts":[{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.8295143842697144},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.7855422496795654},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.71926349401474},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.714878261089325},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.6440779566764832},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.6203552484512329},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5519923567771912},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5332647562026978},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5062066912651062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48253509402275085},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.4638414978981018},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.457580029964447},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4558606743812561},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.42971354722976685},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4130592942237854},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.41252484917640686},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3946702182292938},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38539522886276245},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37516888976097107},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.32587873935699463},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2203378677368164},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.20565399527549744},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1978149712085724},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15275102853775024},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.1137123703956604}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.409.690","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.690","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://peace.eas.asu.edu/joolee/papers/f2lp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.94.8769","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.8769","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-265/CENT2007-paper2.pdf","raw_type":"text"},{"id":"mag:2389445","doi":null,"is_oa":false,"landing_page_url":"http://ceur-ws.org/Vol-265/CENT2007-paper2.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419642","display_name":"International Conference on Logic Programming","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Logic Programming","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W621660039","https://openalex.org/W1538157378","https://openalex.org/W1549628945","https://openalex.org/W1582030611","https://openalex.org/W1586434992","https://openalex.org/W1601726121","https://openalex.org/W1602125674","https://openalex.org/W1627528933","https://openalex.org/W1694306392","https://openalex.org/W1800801472","https://openalex.org/W1843148560","https://openalex.org/W1984820433","https://openalex.org/W1985274317","https://openalex.org/W2037991309","https://openalex.org/W2082880188","https://openalex.org/W2147104186","https://openalex.org/W2167765443","https://openalex.org/W2945259913"],"related_works":["https://openalex.org/W7100542168","https://openalex.org/W7098685894","https://openalex.org/W7096374732","https://openalex.org/W2072190298","https://openalex.org/W7096763909","https://openalex.org/W7098739872","https://openalex.org/W2611340807","https://openalex.org/W64252250","https://openalex.org/W1552605223","https://openalex.org/W2167765443"],"abstract_inverted_index":{"Abstract.":[0],"Recently,":[1],"the":[2,14,33,56,63,81,101,107,113,125,140],"stable":[3,34,102,126],"model":[4,35,103,127],"semantics":[5,36,104,128],"was":[6],"extended":[7],"to":[8,132],"a":[9,41,77,94,133,143],"more":[10],"general":[11],"syntax":[12],"beyond":[13],"rule":[15],"form.":[16],"Cabalar":[17],"and":[18,25,75],"Ferraris,":[19],"as":[20,22],"well":[21],"Cabalar,":[23],"Pearce,":[24],"Valverde,":[26],"showed":[27],"that":[28,59,120],"any":[29],"propositional":[30,98],"theory":[31],"under":[32,100,124],"can":[37],"be":[38],"turned":[39],"into":[40],"logic":[42,64,144],"program.":[43,145],"In":[44],"this":[45,53,90],"note,":[46],"we":[47,92,117],"present":[48,93],"yet":[49],"another":[50],"proof":[51,68],"of":[52,65,72,80,85,97,142],"result.":[54],"Unlike":[55],"other":[57],"approaches":[58],"are":[60],"based":[61],"on":[62,89],"hereand-there,":[66],"our":[67],"uses":[69],"familiar":[70],"properties":[71],"classical":[73,86],"logic,":[74],"provides":[76],"different":[78],"explanation":[79],"reduction":[82,115],"in":[83],"terms":[84],"logic.":[87],"Based":[88],"idea,":[91,116],"prototype":[95],"implementation":[96],"theories":[99],"by":[105],"calling":[106],"answer":[108],"set":[109],"solver":[110],"DLV.":[111],"Using":[112],"same":[114],"also":[118],"note":[119],"every":[121],"first-order":[122],"formula":[123],"is":[129],"strongly":[130],"equivalent":[131],"prenex":[134],"normal":[135],"form":[136,141],"whose":[137],"matrix":[138],"has":[139],"1":[146]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}