{"id":"https://openalex.org/W203258123","doi":"https://doi.org/10.1007/978-3-642-30743-0_28","title":"Reformulating Action Language $\\mathcal{C}$ + in Answer Set Programming","display_name":"Reformulating Action Language $\\mathcal{C}$ + in Answer Set Programming","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W203258123","doi":"https://doi.org/10.1007/978-3-642-30743-0_28","mag":"203258123"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-30743-0_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-30743-0_28","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/A5100343837","display_name":"Joohyung Lee","orcid":"https://orcid.org/0000-0002-3518-7915"},"institutions":[{"id":"https://openalex.org/I4210143601","display_name":"Decision Systems (United States)","ror":"https://ror.org/0434dpa13","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143601"]},{"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":true,"raw_author_name":"Joohyung Lee","raw_affiliation_strings":["School of Computing, Informatics and Decision Systems Engineering, Arizona State University, P.O. Box 878809, 85287, Tempe, AZ, USA","School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ, 85287, USA"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics and Decision Systems Engineering, Arizona State University, P.O. Box 878809, 85287, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556","https://openalex.org/I4210143601"]},{"raw_affiliation_string":"School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ, 85287, USA","institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100343837"],"corresponding_institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I55732556"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.9516,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75377536,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"405","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.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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9940999746322632,"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.9848999977111816,"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/fragment","display_name":"Fragment (logic)","score":0.7022382020950317},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.6399788856506348},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5834455490112305},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5594794750213623},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5461323261260986},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5431745052337646},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5112180709838867},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.48596107959747314},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.47758105397224426},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4667050838470459},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.45089367032051086},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.4356222450733185},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3821139931678772},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35943859815597534},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.34552204608917236},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31573742628097534},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.17778030037879944},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.15789633989334106},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11095064878463745}],"concepts":[{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7022382020950317},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.6399788856506348},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5834455490112305},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5594794750213623},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5461323261260986},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5431745052337646},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5112180709838867},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.48596107959747314},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.47758105397224426},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4667050838470459},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.45089367032051086},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.4356222450733185},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3821139931678772},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35943859815597534},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.34552204608917236},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31573742628097534},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.17778030037879944},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.15789633989334106},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11095064878463745}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-30743-0_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-30743-0_28","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1485332185","https://openalex.org/W1488326671","https://openalex.org/W1627006034","https://openalex.org/W1627528933","https://openalex.org/W1672891595","https://openalex.org/W1766332311","https://openalex.org/W1800801472","https://openalex.org/W1812566370","https://openalex.org/W2011124182","https://openalex.org/W2072046078","https://openalex.org/W2076698873","https://openalex.org/W2118823189","https://openalex.org/W2120202058","https://openalex.org/W2134039900","https://openalex.org/W2146707246","https://openalex.org/W2220468947","https://openalex.org/W2493995303","https://openalex.org/W3123180526"],"related_works":["https://openalex.org/W2134039900","https://openalex.org/W2256886837","https://openalex.org/W1627528933","https://openalex.org/W2176973685","https://openalex.org/W108139873","https://openalex.org/W2124627636","https://openalex.org/W2113913457","https://openalex.org/W1511110679","https://openalex.org/W1510566887","https://openalex.org/W92284009"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}