{"id":"https://openalex.org/W2120202058","doi":"https://doi.org/10.1017/s1471068411000081","title":"Representing first-order causal theories by logic programs","display_name":"Representing first-order causal theories by logic programs","publication_year":2011,"publication_date":"2011-05-25","ids":{"openalex":"https://openalex.org/W2120202058","doi":"https://doi.org/10.1017/s1471068411000081","mag":"2120202058"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000081","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000081","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1103.4558","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"PAOLO FERRARIS","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"PAOLO FERRARIS","raw_affiliation_strings":["Google Inc., CA 94043, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Google Inc., CA 94043, USA (e-mail:","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":null,"display_name":"JOOHYUNG LEE","orcid":null},"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":false,"raw_author_name":"JOOHYUNG LEE","raw_affiliation_strings":["School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ 85287-8809, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ 85287-8809, USA (e-mail:","institution_ids":["https://openalex.org/I4210143601","https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":null,"display_name":"YULIYA LIERLER","orcid":null},"institutions":[{"id":"https://openalex.org/I143302722","display_name":"University of Kentucky","ror":"https://ror.org/02k3smh20","country_code":"US","type":"education","lineage":["https://openalex.org/I143302722"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"YULIYA LIERLER","raw_affiliation_strings":["Computer Science Department, University of Kentucky, Lexington, KY 40506-0046, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Kentucky, Lexington, KY 40506-0046, USA (e-mail:","institution_ids":["https://openalex.org/I143302722"]}]},{"author_position":"middle","author":{"id":null,"display_name":"VLADIMIR LIFSCHITZ","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"VLADIMIR LIFSCHITZ","raw_affiliation_strings":["Department of Computer Science, University of Texas at Austin, Austin, TX 78712-0233, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at Austin, Austin, TX 78712-0233, USA (e-mail:","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":null,"display_name":"FANGKAI YANG","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"FANGKAI YANG","raw_affiliation_strings":["Department of Computer Science, University of Texas at Austin, Austin, TX 78712-0233, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at Austin, Austin, TX 78712-0233, USA (e-mail:","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1291425158"],"apc_list":null,"apc_paid":null,"fwci":0.888,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81078345,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"12","issue":"3","first_page":"383","last_page":"412"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9872000217437744,"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.9872000217437744,"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/T10126","display_name":"Logic, programming, and type systems","score":0.00279999990016222,"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.002199999988079071,"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/answer-set-programming","display_name":"Answer set programming","score":0.6966000199317932},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6690999865531921},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.6535000205039978},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6068000197410583},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5479000210762024},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5307999849319458},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4634000062942505},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.45159998536109924},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.4262999892234802}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.6966000199317932},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6933000087738037},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6690999865531921},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.6535000205039978},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6068000197410583},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5479000210762024},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5307999849319458},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4634000062942505},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.45159998536109924},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43299999833106995},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4262999892234802},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.4108000099658966},{"id":"https://openalex.org/C116860108","wikidata":"https://www.wikidata.org/wiki/Q5054575","display_name":"Causal theory of reference","level":2,"score":0.4068000018596649},{"id":"https://openalex.org/C163504300","wikidata":"https://www.wikidata.org/wiki/Q2364925","display_name":"Causal structure","level":2,"score":0.398499995470047},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3736000061035156},{"id":"https://openalex.org/C11671645","wikidata":"https://www.wikidata.org/wiki/Q5054567","display_name":"Causal model","level":2,"score":0.37139999866485596},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3693000078201294},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3626999855041504},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.35600000619888306},{"id":"https://openalex.org/C115086926","wikidata":"https://www.wikidata.org/wiki/Q17004651","display_name":"Causal reasoning","level":3,"score":0.3531999886035919},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34700000286102295},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.34619998931884766},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.3174999952316284},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3061000108718872},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.26899999380111694},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.2547999918460846},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068411000081","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000081","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1103.4558","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1103.4558","pdf_url":"https://arxiv.org/pdf/1103.4558","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1103.4558","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1103.4558","pdf_url":"https://arxiv.org/pdf/1103.4558","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1488326671","https://openalex.org/W1639901403","https://openalex.org/W1675631312","https://openalex.org/W1766332311","https://openalex.org/W1800801472","https://openalex.org/W1998363560","https://openalex.org/W2071617280","https://openalex.org/W2072046078","https://openalex.org/W2076698873","https://openalex.org/W2104583282","https://openalex.org/W2105016364","https://openalex.org/W2134039900","https://openalex.org/W2137388419","https://openalex.org/W2146405821","https://openalex.org/W2152131859","https://openalex.org/W2171687149","https://openalex.org/W6634051929"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Nonmonotonic":[1],"causal":[2,50,88],"logic,":[3],"introduced":[4],"by":[5],"McCain":[6],"and":[7,11,19,84],"Turner":[8],"(McCain,":[9],"N.":[10],"Turner,":[12],"H.":[13],"1997.":[14],"Causal":[15],"theories":[16,51,83],"of":[17,23,40,47,61],"action":[18,43],"change.":[20],"In":[21,74],"Proceedings":[22],"National":[24],"Conference":[25],"on":[26],"Artificial":[27],"Intelligence":[28],"(AAAI)":[29],",":[30],"Stanford,":[31],"CA,":[32],"460\u2013465)":[33],"became":[34],"the":[35,38,56,59,86],"basis":[36],"for":[37,65],"semantics":[39],"several":[41],"expressive":[42],"languages.":[44,73],"McCain's":[45],"embedding":[46,80],"definite":[48],"propositional":[49],"into":[52],"logic":[53],"programming":[54],"paved":[55],"way":[57],"to":[58,81,85],"use":[60],"answer":[62],"set":[63],"solvers":[64],"answering":[66],"queries":[67],"about":[68],"actions":[69],"described":[70],"in":[71],"such":[72],"this":[75,79],"paper":[76],"we":[77],"extend":[78],"nondefinite":[82],"first-order":[87],"logic.":[89]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}