{"id":"https://openalex.org/W2169757787","doi":null,"title":"Algorithms for computational argumentation in artificial intelligence","display_name":"Algorithms for computational argumentation in artificial intelligence","publication_year":2011,"publication_date":"2011-02-28","ids":{"openalex":"https://openalex.org/W2169757787","mag":"2169757787"},"language":"en","primary_location":{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1301992","doi":null,"is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1301992/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Doctoral thesis, UCL (University College London).","raw_type":"Thesis"},"volume":null,"type":"dissertation","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/A5082898464","display_name":"Vasiliki Efstathiou","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Vasiliki Efstathiou","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5082898464"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9682999849319458,"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.9682999849319458,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.02930000051856041,"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/T12119","display_name":"Linguistics and Discourse Analysis","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/3310","display_name":"Linguistics and Language"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computational-argumentation","display_name":"computational argumentation","score":0.9879999756813049},{"id":"https://openalex.org/keywords/classical-propositional-logic","display_name":"classical propositional logic","score":0.8029999732971191},{"id":"https://openalex.org/keywords/connection-graph","display_name":"connection graph","score":0.7020000219345093},{"id":"https://openalex.org/keywords/resolution","display_name":"resolution","score":0.6710000038146973},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"automated theorem proving","score":0.843999981880188},{"id":"https://openalex.org/keywords/reasoning-under-uncertainty","display_name":"uncertainty reasoning","score":0.5550000071525574},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.8169999718666077}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.8390731811523438},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.660367488861084},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5106659531593323},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5105515718460083},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4819054901599884},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.47400176525115967},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.4507206082344055},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.44250285625457764},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4216020703315735},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.41748183965682983},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4165884852409363},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.36134716868400574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24810412526130676},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1614954173564911},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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":2,"locations":[{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1301992","doi":null,"is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1301992/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Doctoral thesis, UCL (University College London).","raw_type":"Thesis"},{"id":"mag:2169757787","doi":null,"is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/1301992/1/1301992.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306508231","display_name":"Doctoral thesis, UCL (University College London).","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Doctoral thesis, UCL (University College London).","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W3877328","https://openalex.org/W14274997","https://openalex.org/W24296266","https://openalex.org/W35522179","https://openalex.org/W56146011","https://openalex.org/W120338395","https://openalex.org/W172988810","https://openalex.org/W208077691","https://openalex.org/W1480782930","https://openalex.org/W1487206350","https://openalex.org/W1501202226","https://openalex.org/W1501337828","https://openalex.org/W1511287349","https://openalex.org/W1513458930","https://openalex.org/W1514637386","https://openalex.org/W1515210918","https://openalex.org/W1515939958","https://openalex.org/W1541038063","https://openalex.org/W1570778371","https://openalex.org/W1580831651","https://openalex.org/W1583628292","https://openalex.org/W1585502282","https://openalex.org/W1714916096","https://openalex.org/W1764055246","https://openalex.org/W1825730661","https://openalex.org/W1858048186","https://openalex.org/W1873778489","https://openalex.org/W1897081024","https://openalex.org/W1970045008","https://openalex.org/W1972956465","https://openalex.org/W1973426588","https://openalex.org/W1979394595","https://openalex.org/W2005090804","https://openalex.org/W2006784674","https://openalex.org/W2009780046","https://openalex.org/W2010939537","https://openalex.org/W2011184850","https://openalex.org/W2021473914","https://openalex.org/W2025360553","https://openalex.org/W2029665446","https://openalex.org/W2029784280","https://openalex.org/W2039020269","https://openalex.org/W2050211807","https://openalex.org/W2051999406","https://openalex.org/W2064811181","https://openalex.org/W2069176561","https://openalex.org/W2073255218","https://openalex.org/W2075335084","https://openalex.org/W2084827335","https://openalex.org/W2089249982","https://openalex.org/W2095365729","https://openalex.org/W2098746567","https://openalex.org/W2098915757","https://openalex.org/W2100657934","https://openalex.org/W2100738443","https://openalex.org/W2104126268","https://openalex.org/W2107316243","https://openalex.org/W2110178376","https://openalex.org/W2133568918","https://openalex.org/W2137154807","https://openalex.org/W2146485107","https://openalex.org/W2148970881","https://openalex.org/W2156092566","https://openalex.org/W2157204637","https://openalex.org/W2159569510","https://openalex.org/W2171853123","https://openalex.org/W2212036697","https://openalex.org/W3144782678"],"related_works":["https://openalex.org/W7054823304","https://openalex.org/W1501337828","https://openalex.org/W1873778489","https://openalex.org/W1897081024","https://openalex.org/W2073255218","https://openalex.org/W4302098690","https://openalex.org/W6999326069","https://openalex.org/W633860509","https://openalex.org/W7098148438","https://openalex.org/W1980801027"],"abstract_inverted_index":{"Argumentation":[0],"is":[1,80,84,93,98,141,146,188,194,271,300],"a":[2,26,35,85,102,189,212,226,229],"vital":[3],"aspect":[4],"of":[5,37,57,65,126,268,282,290],"intelligent":[6],"behaviour":[7],"by":[8,17,54,248,262,273],"humans.":[9],"It":[10],"provides":[11,236],"the":[12,45,63,165,223,253,264,280,283,291],"means":[13],"for":[14,77,100,119,131,175,211,225,255,260,294],"comparing":[15],"\\ninformation":[16],"analysing":[18],"pros":[19],"and":[20,67,69,112,114,122,156,182,197],"cons":[21],"when":[22,220],"trying":[23],"to":[24,134,217,297],"make":[25],"decision.":[27],"Formalising":[28],"argumentation":[29,49,79,150],"in":[30,40,59,158],"\\ncomputational":[31,166],"environment":[32],"has":[33],"become":[34],"topic":[36],"increasing":[38],"interest":[39],"artificial":[41],"intelligence":[42],"research":[43],"\\nover":[44],"last":[46],"decade.":[47],"\\nComputational":[48],"involves":[50],"reasoning":[51],"with":[52,71],"uncertainty":[53],"making":[55],"use":[56],"logic":[58,129,154,296,299],"order":[60],"\\nto":[61],"formalize":[62],"presentation":[64],"arguments":[66,121,224],"counterarguments":[68],"deal":[70],"conflicting":[72],"information.":[73],"\\nA":[74],"common":[75],"assumption":[76],"logic-based":[78],"that":[81,161],"an":[82,142,288],"argument":[83],"pair":[86],"<":[87],"\u03a6":[88,92],"\u03b1":[89],">":[90],"where":[91,191],"\\na":[94,195],"consistent":[95],"set":[96],"which":[97,258],"minimal":[99],"entailing":[101],"claim":[103,227],"\u03b1.":[104],"Different":[105],"logics":[106],"provide":[107],"different":[108,117],"definitions":[109],"\\nfor":[110],"consistency":[111],"entailment":[113],"hence":[115],"give":[116],"options":[118],"formalising":[120],"counterarguments.":[123],"\\nThe":[124],"expressivity":[125],"classical":[127,152],"propositional":[128,153,295],"allows":[130],"complicated":[132],"knowledge":[133],"be":[135,218,243],"\\nrepresented":[136],"but":[137],"its":[138,234,240],"computational":[139],"cost":[140],"issue.":[143],"This":[144],"thesis":[145],"based":[147,179],"on":[148,180,238],"monological":[149],"\\nusing":[151],"[12]":[155],"aims":[157],"developing":[159],"algorithms":[160,257,284],"are":[162],"viable":[163],"despite":[164],"cost.":[167],"The":[168,266],"proposed":[169],"solution":[170],"adapts":[171],"well":[172],"established":[173],"techniques":[174],"automated":[176],"theorem":[177],"\\nproving,":[178],"resolution":[181],"connection":[183,186,208],"graphs.":[184],"A":[185,207],"graph":[187,190,209],"each":[192,198,246],"node":[193],"clause":[196],"arc":[199],"denotes":[200],"there":[201],"exist":[202],"complementary":[203],"disjuncts":[204],"between":[205],"nodes.":[206],"\\nallows":[210],"substantially":[213],"reduced":[214],"search":[215,259],"space":[216],"used":[219],"seeking":[221],"all":[222],"\\nfrom":[228],"given":[230],"knowledgebase.":[231],"In":[232,286],"addition,":[233,287],"structure":[235],"information":[237],"how":[239],"nodes":[241],"can":[242],"linked":[244],"\\nwith":[245],"other":[247],"resolution,":[249],"providing":[250],"this":[251,269],"way":[252],"basis":[254],"applying":[256],"\\narguments":[261],"traversing":[263],"graph.":[265],"correctness":[267],"approach":[270],"supported":[272],"theoretical":[274,292],"results,":[275],"\\nwhile":[276],"experimental":[277],"evaluation":[278],"demonstrates":[279],"viability":[281],"developed.":[285],"\\nextension":[289],"work":[293],"first-order":[298],"introduced.":[301]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2016-06-24T00:00:00"}