{"id":"https://openalex.org/W1838301614","doi":"https://doi.org/10.1007/978-3-642-21940-5_16","title":"Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report","display_name":"Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1838301614","doi":"https://doi.org/10.1007/978-3-642-21940-5_16","mag":"1838301614"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-21940-5_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-21940-5_16","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":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Computing_argumentation_in_polynomial_number_of_BDD_operations_A_preliminary_report/24380224","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071179460","display_name":"Yuqing Tang","orcid":"https://orcid.org/0000-0002-5919-1804"},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yuqing Tang","raw_affiliation_strings":["Dept. of Computer Science, Graduate Center, City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Graduate Center, City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004387717","display_name":"Timothy J. Norman","orcid":"https://orcid.org/0000-0002-6387-4034"},"institutions":[{"id":"https://openalex.org/I195460627","display_name":"University of Aberdeen","ror":"https://ror.org/016476m91","country_code":"GB","type":"education","lineage":["https://openalex.org/I195460627"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Timothy J. Norman","raw_affiliation_strings":["Dept of Computing Science, The University of Aberdeen, Aberdeen, AB24 3UE, UK"],"affiliations":[{"raw_affiliation_string":"Dept of Computing Science, The University of Aberdeen, Aberdeen, AB24 3UE, UK","institution_ids":["https://openalex.org/I195460627"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042580769","display_name":"Simon Parsons","orcid":"https://orcid.org/0000-0002-8425-9065"},"institutions":[{"id":"https://openalex.org/I83041322","display_name":"Brooklyn College","ror":"https://ror.org/019k4jq75","country_code":"US","type":"education","lineage":["https://openalex.org/I83041322"]},{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Simon Parsons","raw_affiliation_strings":["Dept of Computer & Information Science, Brooklyn College, City University of New York, 2900 Bedford Avenue, Brooklyn, NY, 11210, USA","Dept. of Computer Science, Graduate Center, City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA"],"affiliations":[{"raw_affiliation_string":"Dept of Computer & Information Science, Brooklyn College, City University of New York, 2900 Bedford Avenue, Brooklyn, NY, 11210, USA","institution_ids":["https://openalex.org/I83041322"]},{"raw_affiliation_string":"Dept. of Computer Science, Graduate Center, City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071179460"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16655218,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"268","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","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/T10456","display_name":"Multi-Agent Systems and Negotiation","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/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9968000054359436,"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/argumentation-theory","display_name":"Argumentation theory","score":0.9678350687026978},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.743109405040741},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.7395839095115662},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5642738938331604},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.512617290019989},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5124226212501526},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.42179742455482483},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3288440406322479},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2742040753364563},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.238936185836792},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.09420397877693176}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.9678350687026978},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.743109405040741},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.7395839095115662},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5642738938331604},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.512617290019989},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5124226212501526},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.42179742455482483},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3288440406322479},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2742040753364563},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.238936185836792},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09420397877693176},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-642-21940-5_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-21940-5_16","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.719.8898","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.719.8898","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://nms.kcl.ac.uk/simon.parsons/publications/conferences/argmas10a.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.725.6618","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.725.6618","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.abdn.ac.uk/t.j.norman/pages/pdfs/Tang%2B%2BArgMAS2010.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.lincoln.ac.uk:38462","is_oa":false,"landing_page_url":"http://eprints.lincoln.ac.uk/38462/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196275","display_name":"Lincoln Repository (University of Lincoln)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51532219","host_organization_name":"University of Lincoln","host_organization_lineage":["https://openalex.org/I51532219"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:figshare.com:article/24380224","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Computing_argumentation_in_polynomial_number_of_BDD_operations_A_preliminary_report/24380224","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/24380224","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Computing_argumentation_in_polynomial_number_of_BDD_operations_A_preliminary_report/24380224","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1490859187","https://openalex.org/W1564947547","https://openalex.org/W1585872502","https://openalex.org/W1602796727","https://openalex.org/W1646038686","https://openalex.org/W1668551924","https://openalex.org/W1683908335","https://openalex.org/W1794734112","https://openalex.org/W1967853234","https://openalex.org/W1969721969","https://openalex.org/W1979320841","https://openalex.org/W1983019803","https://openalex.org/W1992006255","https://openalex.org/W1992105102","https://openalex.org/W1994451575","https://openalex.org/W2006784674","https://openalex.org/W2008212717","https://openalex.org/W2030224590","https://openalex.org/W2061438988","https://openalex.org/W2076759028","https://openalex.org/W2078740228","https://openalex.org/W2081840025","https://openalex.org/W2088866812","https://openalex.org/W2099564394","https://openalex.org/W2104126268","https://openalex.org/W2122000203","https://openalex.org/W2125759056","https://openalex.org/W2131324945","https://openalex.org/W2133568918","https://openalex.org/W2141472133","https://openalex.org/W2145340246","https://openalex.org/W2146340995","https://openalex.org/W2152667292","https://openalex.org/W2154849078","https://openalex.org/W2158542561","https://openalex.org/W2161677825","https://openalex.org/W2171853123","https://openalex.org/W2295240344","https://openalex.org/W2319958627","https://openalex.org/W2396349789","https://openalex.org/W2408664677","https://openalex.org/W4214616294","https://openalex.org/W4242698182","https://openalex.org/W4298021510"],"related_works":["https://openalex.org/W2141332034","https://openalex.org/W4256185029","https://openalex.org/W4388437769","https://openalex.org/W2762454042","https://openalex.org/W2337488240","https://openalex.org/W2064153856","https://openalex.org/W52290235","https://openalex.org/W4320165485","https://openalex.org/W1974942814","https://openalex.org/W1774334694"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}