{"id":"https://openalex.org/W2334111892","doi":"https://doi.org/10.1093/logcom/exv004","title":"Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond","display_name":"Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond","publication_year":2015,"publication_date":"2015-02-11","ids":{"openalex":"https://openalex.org/W2334111892","doi":"https://doi.org/10.1093/logcom/exv004","mag":"2334111892"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exv004","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exv004","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5072285823","display_name":"Hannes Stra\u00df","orcid":null},"institutions":[{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Hannes Strass","raw_affiliation_strings":["Computer Science Institute, Leipzig University, Leipzig, Germany"],"affiliations":[{"raw_affiliation_string":"Computer Science Institute, Leipzig University, Leipzig, Germany","institution_ids":["https://openalex.org/I926574661"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5072285823"],"corresponding_institution_ids":["https://openalex.org/I926574661"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.7258,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.89099865,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"28","issue":"3","first_page":"605","last_page":"627"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9993000030517578,"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.9980000257492065,"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/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.8272615671157837},{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.7986868023872375},{"id":"https://openalex.org/keywords/dialectic","display_name":"Dialectic","score":0.71760493516922},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5905513763427734},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.469165176153183},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.4071395695209503},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3301703929901123},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.287442684173584},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.20930075645446777},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1856677532196045}],"concepts":[{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.8272615671157837},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.7986868023872375},{"id":"https://openalex.org/C13184196","wikidata":"https://www.wikidata.org/wiki/Q9453","display_name":"Dialectic","level":2,"score":0.71760493516922},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5905513763427734},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.469165176153183},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.4071395695209503},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3301703929901123},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.287442684173584},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.20930075645446777},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1856677532196045}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exv004","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exv004","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5894244413","display_name":null,"funder_award_id":"BR-1817/7-1","funder_id":"https://openalex.org/F4320308022","funder_display_name":"California Department of Fish and Game"}],"funders":[{"id":"https://openalex.org/F4320308022","display_name":"California Department of Fish and Game","ror":"https://ror.org/02v6w2r95"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W106283100","https://openalex.org/W1565496223","https://openalex.org/W1601797966","https://openalex.org/W1966552757","https://openalex.org/W1989896818","https://openalex.org/W2015899729","https://openalex.org/W2023808640","https://openalex.org/W2037518358","https://openalex.org/W2039594639","https://openalex.org/W2067326626","https://openalex.org/W2071122890","https://openalex.org/W2096009317","https://openalex.org/W2104126268","https://openalex.org/W2109409153","https://openalex.org/W2112029595","https://openalex.org/W2155322595","https://openalex.org/W2466066735","https://openalex.org/W4256682192","https://openalex.org/W6604340693","https://openalex.org/W6636089300"],"related_works":["https://openalex.org/W2969415202","https://openalex.org/W2540254214","https://openalex.org/W2810795263","https://openalex.org/W2481680351","https://openalex.org/W2380969826","https://openalex.org/W2098238158","https://openalex.org/W151947385","https://openalex.org/W2077212436","https://openalex.org/W4243507758","https://openalex.org/W2964084085"],"abstract_inverted_index":{"We":[0,38,74],"present":[1],"a":[2,12,83,103],"translation":[3,31,79],"from":[4,23],"defeasible":[5,108,129],"theory":[6,109],"bases":[7],"to":[8,127,135],"abstract":[9,16],"dialectical":[10],"frameworks,":[11],"recent":[13],"generalization":[14],"of":[15,35,62,97],"argumentation":[17],"frameworks.":[18],"Using":[19],"several":[20],"problematic":[21],"examples":[22],"the":[24,42,46,54,60,78,94,98,113,122,136],"literature,":[25],"we":[26,100],"first":[27],"show":[28,76],"how":[29],"our":[30],"addresses":[32],"important":[33],"issues":[34],"existing":[36],"approaches.":[37,140],"then":[39],"prove":[40],"that":[41,77],"translated":[43],"frameworks":[44,55],"satisfy":[45],"rationality":[47],"postulates":[48],"closure":[49],"and":[50,66,69,86,90],"direct/indirect":[51],"consistency.":[52],"Furthermore,":[53],"can":[56],"detect":[57],"inconsistencies":[58],"in":[59,117,133],"set":[61],"strict":[63],"inference":[64],"rules":[65],"cyclic":[67],"(strict":[68],"defeasible)":[70],"supports":[71],"among":[72],"literals.":[73],"also":[75,101],"involves":[80],"at":[81],"most":[82],"quadratic":[84],"blowup":[85],"is,":[87],"therefore,":[88],"effectively":[89],"efficiently":[91],"computable.":[92],"In":[93,120],"last":[95],"part":[96],"article,":[99],"define":[102],"direct,":[104],"possible-worlds":[105,123],"semantics":[106,124],"for":[107],"bases,":[110],"which":[111,131],"illustrates":[112],"technical":[114],"difficulties":[115],"arising":[116],"this":[118],"process.":[119],"particular,":[121],"is":[125,132],"eager":[126],"apply":[128],"rules,":[130],"contrast":[134],"previously":[137],"studied":[138],"translation-based":[139]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}