{"id":"https://openalex.org/W3126767363","doi":"https://doi.org/10.5220/0010349504460453","title":"On using Theorem Proving for Cognitive Agent-oriented Programming","display_name":"On using Theorem Proving for Cognitive Agent-oriented Programming","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3126767363","doi":"https://doi.org/10.5220/0010349504460453","mag":"3126767363"},"language":"en","primary_location":{"id":"doi:10.5220/0010349504460453","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010349504460453","pdf_url":null,"source":null,"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":"Proceedings of the 13th International Conference on Agents and Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0010349504460453","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053151793","display_name":"Alexander Birch Jensen","orcid":"https://orcid.org/0000-0002-7298-2133"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Alexander Jensen","raw_affiliation_strings":["DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Building 324, DK-2800 Kongens Lyngby, Denmark, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Building 324, DK-2800 Kongens Lyngby, Denmark, --- Select a Country ---","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071518251","display_name":"Koen V. Hindriks","orcid":"https://orcid.org/0000-0002-5707-5236"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Koen Hindriks","raw_affiliation_strings":["Social AI Group, Boelelaan 1111, Vrije Universiteit (VU) Amsterdam, 1081 HV Amsterdam, The Netherlands, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Social AI Group, Boelelaan 1111, Vrije Universiteit (VU) Amsterdam, 1081 HV Amsterdam, The Netherlands, --- Select a Country ---","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005970338","display_name":"J\u00f8rgen Villadsen","orcid":"https://orcid.org/0000-0003-3624-1159"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"J\u00f8rgen Villadsen","raw_affiliation_strings":["DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Building 324, DK-2800 Kongens Lyngby, Denmark, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark, Richard Petersens Plads, Building 324, DK-2800 Kongens Lyngby, Denmark, --- Select a Country ---","institution_ids":["https://openalex.org/I96673099"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5053151793"],"corresponding_institution_ids":["https://openalex.org/I96673099"],"apc_list":null,"apc_paid":null,"fwci":1.1193,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81615385,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"446","last_page":"453"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.8928999900817871,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.8928999900817871,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.8809999823570251,"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/T12805","display_name":"Cognitive Science and Mapping","score":0.8629000186920166,"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.6424230337142944},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5574183464050293},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4424245357513428},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.41340941190719604},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3290981352329254},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32236868143081665},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.09784543514251709}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6424230337142944},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5574183464050293},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4424245357513428},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.41340941190719604},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3290981352329254},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32236868143081665},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.09784543514251709},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.5220/0010349504460453","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010349504460453","pdf_url":null,"source":null,"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":"Proceedings of the 13th International Conference on Agents and Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/b8f74c68-e0d0-4af8-ab3f-a13dfaf49412","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/b8f74c68-e0d0-4af8-ab3f-a13dfaf49412","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jensen , A B , Hindriks , K V &amp; Villadsen , J 2021 , On Using Theorem Proving for Cognitive Agent-Oriented Programming . in A P Rocha , L Steels &amp; J van den Herik (eds) , Proceedings of the 13 th International Conference on Agents and Artificial Intelligence . vol. 1 , Science and Technology Publishing , pp. 446-453 , 13th International Conference on Agents and Artificial Intelligence , 04/02/2021 .","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research.vu.nl:publications/73184906-eac7-4997-a644-22c61a243c5c","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/73184906-eac7-4997-a644-22c61a243c5c","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jensen, A B, Hindriks, K V & Villadsen, J 2021, On using theorem proving for cognitive agent-oriented programming. in A P Rocha, L Steels & J van den Herik (eds), ICAART 2021 : Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 1. vol. 1, SciTePress, pp. 446-453, 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Virtual, Online, 4/02/21. < https://www.insticc.org/node/TechnicalProgram/icaart/2021/presentationDetails/103495 >","raw_type":"contributionToPeriodical"},{"id":"pmh:vu:oai:research.vu.nl:publications/73184906-eac7-4997-a644-22c61a243c5c","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/73184906-eac7-4997-a644-22c61a243c5c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ICAART 2021: Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 1, 446 - 453","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"doi:10.5220/0010349504460453","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010349504460453","pdf_url":null,"source":null,"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":"Proceedings of the 13th International Conference on Agents and Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2519051298","https://openalex.org/W1515240056","https://openalex.org/W1973641256","https://openalex.org/W1504680642","https://openalex.org/W1793065144","https://openalex.org/W2504941530","https://openalex.org/W4400166037","https://openalex.org/W2343178736","https://openalex.org/W2964077831","https://openalex.org/W2089274067"],"abstract_inverted_index":{"Demonstrating":[0],"reliability":[1],"of":[2,7,16,40,92],"cognitive":[3,22,76,98],"multi-agent":[4,77,99],"systems":[5,100],"is":[6,86],"key":[8],"importance.":[9],"There":[10],"has":[11,26],"been":[12],"an":[13,47],"extensive":[14],"amount":[15],"work":[17,58],"on":[18,59],"logics":[19],"for":[20,37,49,72,75],"verifying":[21,97],"agents":[23],"but":[24],"it":[25],"remained":[27],"mostly":[28],"theoretical.":[29],"Cognitive":[30],"agent-oriented":[31],"programming":[32],"languages":[33],"provide":[34],"the":[35,60,68,90],"tools":[36],"compact":[38],"representation":[39],"complex":[41],"decision":[42],"making":[43],"mechanisms,":[44],"which":[45],"offers":[46],"opportunity":[48],"applying":[50],"a":[51,80],"theorem":[52,63,84],"proving":[53,64,85],"approach.":[54],"We":[55,88],"base":[56],"our":[57],"belief":[61],"that":[62],"can":[65],"add":[66],"to":[67,95],"currently":[69],"available":[70],"approaches":[71],"providing":[73],"assurance":[74],"systems.":[78],"However,":[79],"practical":[81],"approach":[82],"using":[83],"missing.":[87],"explore":[89],"use":[91],"proof":[93],"assistants":[94],"make":[96],"more":[101],"practical.":[102]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}