{"id":"https://openalex.org/W2070349037","doi":"https://doi.org/10.1016/s1571-0661(04)80591-7","title":"Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language","display_name":"Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language","publication_year":2002,"publication_date":"2002-10-01","ids":{"openalex":"https://openalex.org/W2070349037","doi":"https://doi.org/10.1016/s1571-0661(04)80591-7","mag":"2070349037"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80591-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80591-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80591-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037986871","display_name":"Rafael H. Bordini","orcid":"https://orcid.org/0000-0001-8688-9901"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Rafael H. Bordini","raw_affiliation_strings":["Departamento de Inform\u00e1tica Te\u00f3rica (INT), Instituto de Inform\u00e1tica (II), Universidade Federal do Rio Grande do Sul (UFRGS), CP 15064, 91501-970, Porto Alegre, RS, Brazil"],"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica Te\u00f3rica (INT), Instituto de Inform\u00e1tica (II), Universidade Federal do Rio Grande do Sul (UFRGS), CP 15064, 91501-970, Porto Alegre, RS, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063087148","display_name":"\u00c1lvaro Moreira","orcid":"https://orcid.org/0000-0002-9224-2781"},"institutions":[{"id":"https://openalex.org/I30338065","display_name":"Universidade de Caxias do Sul","ror":"https://ror.org/05rpzs058","country_code":"BR","type":"education","lineage":["https://openalex.org/I30338065"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"\u00c1lvaro F. Moreira","raw_affiliation_strings":["Departamento de Inform\u00e1tica (DEIN), Centro de Ci\u00eancias Exatas e Teccnologia (CCET), Universidade de Caxias do Sul (UCS), 95070-560, Caxias do Sul, RS, Brazil"],"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica (DEIN), Centro de Ci\u00eancias Exatas e Teccnologia (CCET), Universidade de Caxias do Sul (UCS), 95070-560, Caxias do Sul, RS, Brazil","institution_ids":["https://openalex.org/I30338065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5037986871","https://openalex.org/A5063087148"],"corresponding_institution_ids":["https://openalex.org/I130442723","https://openalex.org/I30338065"],"apc_list":null,"apc_paid":null,"fwci":5.0027,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.95512365,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"70","issue":"5","first_page":"108","last_page":"125"},"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.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/T10456","display_name":"Multi-Agent Systems and Negotiation","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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.9945999979972839,"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/computer-science","display_name":"Computer science","score":0.6805156469345093},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.6299193501472473},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5557940602302551},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5520161986351013},{"id":"https://openalex.org/keywords/modalities","display_name":"Modalities","score":0.4990990161895752},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3441392481327057},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3353661596775055},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3207084834575653},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.13053956627845764},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.07103326916694641}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6805156469345093},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.6299193501472473},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5557940602302551},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5520161986351013},{"id":"https://openalex.org/C2779903281","wikidata":"https://www.wikidata.org/wiki/Q6888026","display_name":"Modalities","level":2,"score":0.4990990161895752},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3441392481327057},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3353661596775055},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3207084834575653},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.13053956627845764},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.07103326916694641},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80591-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80591-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80591-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80591-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1521100965","https://openalex.org/W1550111418","https://openalex.org/W1551549980","https://openalex.org/W1564534945","https://openalex.org/W1908171260","https://openalex.org/W2005330346","https://openalex.org/W2012164491","https://openalex.org/W2021043039","https://openalex.org/W2062205093","https://openalex.org/W2095995891","https://openalex.org/W2103739844","https://openalex.org/W2106172458","https://openalex.org/W2125814724","https://openalex.org/W2130766754","https://openalex.org/W2145899763","https://openalex.org/W2167320574","https://openalex.org/W2183568178","https://openalex.org/W4285719527","https://openalex.org/W6602461605","https://openalex.org/W6635036446","https://openalex.org/W6655769609","https://openalex.org/W6676993273","https://openalex.org/W6776600604"],"related_works":["https://openalex.org/W2166247150","https://openalex.org/W4243252198","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W4235530921","https://openalex.org/W2104078272","https://openalex.org/W2382501300","https://openalex.org/W3162240892","https://openalex.org/W1587224678"],"abstract_inverted_index":{"In":[0,70],"this":[1],"paper,":[2],"we":[3,25,79,108],"consider":[4],"each":[5],"of":[6,10,66,95,126],"the":[7,40,59,62,74,77,89],"nine":[8],"principles":[9],"BDI":[11,41,67,96,136],"logics":[12,97],"as":[13],"defined":[14],"by":[15,31,39],"Rao":[16],"and":[17,24,64,92],"Georgeff":[18],"based":[19],"on":[20],"Bratman's":[21],"asymmetry":[22],"thesis,":[23],"verify":[26],"which":[27,86],"ones":[28],"are":[29],"satisfied":[30],"Rao's":[32,51],"AgentSpeak(L),":[33],"a":[34,82,111,116],"computable":[35],"logic":[36],"language":[37],"inspired":[38],"architecture":[42],"for":[43,54,76,98,135],"cognitive":[44],"agents.":[45],"This":[46,114],"is":[47],"in":[48,85,110],"line":[49],"with":[50],"original":[52],"motivation":[53],"defining":[55],"AgentSpeak(L):":[56],"to":[57,72,87,102,122],"bridge":[58],"gap":[60],"between":[61],"theory":[63],"practice":[65],"agent":[68,137],"systems.":[69],"order":[71],"set":[73],"grounds":[75,134],"proof,":[78],"first":[80],"introduce":[81],"particular":[83],"way":[84],"define":[88],"informational,":[90],"motivational,":[91],"deliberative":[93],"modalities":[94],"AgentSpeak(L)":[99,127],"agents,":[100,128],"according":[101],"its":[103],"structural":[104],"operational":[105],"semantics":[106],"(that":[107],"introduced":[109],"recent":[112],"paper).":[113],"provides":[115],"framework":[117],"that":[118],"can":[119],"be":[120],"used":[121],"investigate":[123],"further":[124],"properties":[125],"contributing":[129],"towards":[130],"giving":[131],"firm":[132],"theoretical":[133],"programming.":[138]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}