{"id":"https://openalex.org/W2750822193","doi":"https://doi.org/10.1145/3122938.3122942","title":"Modelling the way mathematics is actually done","display_name":"Modelling the way mathematics is actually done","publication_year":2017,"publication_date":"2017-08-30","ids":{"openalex":"https://openalex.org/W2750822193","doi":"https://doi.org/10.1145/3122938.3122942","mag":"2750822193"},"language":"en","primary_location":{"id":"doi:10.1145/3122938.3122942","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3122938.3122942","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://discovery.dundee.ac.uk/ws/files/19051831/main_2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066513417","display_name":"Joseph Corneli","orcid":"https://orcid.org/0000-0003-1330-4698"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Joseph Corneli","raw_affiliation_strings":["University of Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028867738","display_name":"Ursula Martin","orcid":"https://orcid.org/0000-0002-1908-5927"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ursula Martin","raw_affiliation_strings":["University of Oxford, UK"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022409031","display_name":"Dave Murray-Rust","orcid":"https://orcid.org/0000-0001-6098-7861"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dave Murray-Rust","raw_affiliation_strings":["University of Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012487481","display_name":"Alison Pease","orcid":"https://orcid.org/0000-0003-1856-9599"},"institutions":[{"id":"https://openalex.org/I177639307","display_name":"University of Dundee","ror":"https://ror.org/03h2bxq36","country_code":"GB","type":"education","lineage":["https://openalex.org/I177639307"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alison Pease","raw_affiliation_strings":["University of Dundee, UK"],"affiliations":[{"raw_affiliation_string":"University of Dundee, UK","institution_ids":["https://openalex.org/I177639307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019204173","display_name":"Raymond Puzio","orcid":"https://orcid.org/0000-0001-8866-436X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raymond Puzio","raw_affiliation_strings":["PlanetMath.org, USA"],"affiliations":[{"raw_affiliation_string":"PlanetMath.org, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004173681","display_name":"Gabriela Rino Nesin","orcid":null},"institutions":[{"id":"https://openalex.org/I71637028","display_name":"University of Brighton","ror":"https://ror.org/04kp2b655","country_code":"GB","type":"education","lineage":["https://openalex.org/I71637028"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gabriela Rino Nesin","raw_affiliation_strings":["University of Brighton, UK"],"affiliations":[{"raw_affiliation_string":"University of Brighton, UK","institution_ids":["https://openalex.org/I71637028"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5066513417"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.831,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80716924,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"122","issue":null,"first_page":"10","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9991000294685364,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9991000294685364,"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/T10028","display_name":"Topic Modeling","score":0.9990000128746033,"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.9965000152587891,"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.7983828783035278},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7543537616729736},{"id":"https://openalex.org/keywords/lisp","display_name":"Lisp","score":0.7483466863632202},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5936025977134705},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5733156800270081},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.5163778066635132},{"id":"https://openalex.org/keywords/narrative","display_name":"Narrative","score":0.4814535975456238},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.46781325340270996},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45563334226608276},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4554646909236908},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4530448913574219},{"id":"https://openalex.org/keywords/semantic-network","display_name":"Semantic network","score":0.4129638075828552},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.33866533637046814},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29331451654434204},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.24671709537506104},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.10328447818756104}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.7983828783035278},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7543537616729736},{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.7483466863632202},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5936025977134705},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5733156800270081},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.5163778066635132},{"id":"https://openalex.org/C199033989","wikidata":"https://www.wikidata.org/wiki/Q1318295","display_name":"Narrative","level":2,"score":0.4814535975456238},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.46781325340270996},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45563334226608276},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4554646909236908},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4530448913574219},{"id":"https://openalex.org/C85407183","wikidata":"https://www.wikidata.org/wiki/Q1045785","display_name":"Semantic network","level":2,"score":0.4129638075828552},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.33866533637046814},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29331451654434204},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.24671709537506104},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.10328447818756104},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3122938.3122942","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3122938.3122942","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/7e8b7815-1180-4a1d-871b-8fdd1d662c19","is_oa":false,"landing_page_url":"https://research.brighton.ac.uk/en/publications/7e8b7815-1180-4a1d-871b-8fdd1d662c19","pdf_url":null,"source":{"id":"https://openalex.org/S4306401758","display_name":"University of Brighton Repository (University of Brighton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I71637028","host_organization_name":"University of Brighton","host_organization_lineage":["https://openalex.org/I71637028"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio & Rino Nesin, G 2017, Modelling the way mathematics is actually done. in Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. ACM, pp. 10-19, 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design, Oxford, United Kingdom, 9/09/17. https://doi.org/10.1145/3122938.3122942","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:discovery.dundee.ac.uk:openaire/9bbb80dd-38ed-4452-a01d-2c9c812933ec","is_oa":true,"landing_page_url":"https://discovery.dundee.ac.uk/en/publications/9bbb80dd-38ed-4452-a01d-2c9c812933ec","pdf_url":"https://discovery.dundee.ac.uk/ws/files/19051831/main_2.pdf","source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"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":"Corneli, J, Martin, U, Murray-Rust, D, Pease, A, Puzio, R & Nesin, G R 2017, Modelling the way mathematics is actually done. in FARM 2017 : Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. Association for Computing Machinery (ACM), New York, pp. 10-19, 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM), Oxford, United Kingdom, 9/09/17. https://doi.org/10.1145/3122938.3122942","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.ed.ac.uk:publications/d0774544-5d25-4c32-92b9-1959469625a5","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11820/d0774544-5d25-4c32-92b9-1959469625a5","pdf_url":"https://www.research.ed.ac.uk/en/publications/d0774544-5d25-4c32-92b9-1959469625a5","source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.ed.ac.uk:openaire/d0774544-5d25-4c32-92b9-1959469625a5","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/d0774544-5d25-4c32-92b9-1959469625a5","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Corneli, J, Martin, U, Murray-Rust, D, Pease, A, Puzio, R & Nesin, G R 2017, Modelling the Way Mathematics Is Actually Done. in 2017 International Workshop on Functional Art, Music, Modelling and Design (FARM 2017). pp. 10-19, 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, Oxford, United Kingdom, 9/09/17. https://doi.org/10.1145/3122938.3122942","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:discovery.dundee.ac.uk:openaire/9bbb80dd-38ed-4452-a01d-2c9c812933ec","is_oa":true,"landing_page_url":"https://discovery.dundee.ac.uk/en/publications/9bbb80dd-38ed-4452-a01d-2c9c812933ec","pdf_url":"https://discovery.dundee.ac.uk/ws/files/19051831/main_2.pdf","source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"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":"Corneli, J, Martin, U, Murray-Rust, D, Pease, A, Puzio, R & Nesin, G R 2017, Modelling the way mathematics is actually done. in FARM 2017 : Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. Association for Computing Machinery (ACM), New York, pp. 10-19, 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM), Oxford, United Kingdom, 9/09/17. https://doi.org/10.1145/3122938.3122942","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G2992318155","display_name":null,"funder_award_id":"EP/K040251/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5140103676","display_name":null,"funder_award_id":"EP/K040251/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6531153936","display_name":null,"funder_award_id":"EP/P017320/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2750822193.pdf","grobid_xml":"https://content.openalex.org/works/W2750822193.grobid-xml"},"referenced_works_count":75,"referenced_works":["https://openalex.org/W26351987","https://openalex.org/W197504935","https://openalex.org/W419860825","https://openalex.org/W604140817","https://openalex.org/W1052772103","https://openalex.org/W1503801440","https://openalex.org/W1509866286","https://openalex.org/W1511834278","https://openalex.org/W1514631317","https://openalex.org/W1525482321","https://openalex.org/W1544827683","https://openalex.org/W1576632330","https://openalex.org/W1825294361","https://openalex.org/W1968833464","https://openalex.org/W1971970220","https://openalex.org/W1976549967","https://openalex.org/W1980491396","https://openalex.org/W1981741981","https://openalex.org/W1985448274","https://openalex.org/W2000900121","https://openalex.org/W2004116709","https://openalex.org/W2011043790","https://openalex.org/W2011665814","https://openalex.org/W2020606208","https://openalex.org/W2028022144","https://openalex.org/W2045689965","https://openalex.org/W2046756647","https://openalex.org/W2073375062","https://openalex.org/W2083544599","https://openalex.org/W2084633063","https://openalex.org/W2100828659","https://openalex.org/W2103898608","https://openalex.org/W2105520789","https://openalex.org/W2113823260","https://openalex.org/W2142565826","https://openalex.org/W2156433885","https://openalex.org/W2164309760","https://openalex.org/W2167081754","https://openalex.org/W2167909320","https://openalex.org/W2251302498","https://openalex.org/W2316135739","https://openalex.org/W2399027187","https://openalex.org/W2399386861","https://openalex.org/W2401097308","https://openalex.org/W2402619629","https://openalex.org/W2408515712","https://openalex.org/W2413604966","https://openalex.org/W2497247517","https://openalex.org/W2540431851","https://openalex.org/W2559655401","https://openalex.org/W2565840370","https://openalex.org/W2581336110","https://openalex.org/W2592586488","https://openalex.org/W2593925740","https://openalex.org/W2600786227","https://openalex.org/W2604606876","https://openalex.org/W2613142859","https://openalex.org/W2663683295","https://openalex.org/W2774188730","https://openalex.org/W2917835889","https://openalex.org/W2963329400","https://openalex.org/W2998385477","https://openalex.org/W4212764631","https://openalex.org/W4230997289","https://openalex.org/W4242761397","https://openalex.org/W4249258521","https://openalex.org/W4255937913","https://openalex.org/W4285719527","https://openalex.org/W4300506561","https://openalex.org/W6630073862","https://openalex.org/W6655180476","https://openalex.org/W6712513498","https://openalex.org/W6735850964","https://openalex.org/W6759979233","https://openalex.org/W6836827766"],"related_works":["https://openalex.org/W2080395062","https://openalex.org/W2323995692","https://openalex.org/W2170494265","https://openalex.org/W2103804958","https://openalex.org/W2381282227","https://openalex.org/W4380490599","https://openalex.org/W2388222052","https://openalex.org/W2787986796","https://openalex.org/W2048192690","https://openalex.org/W2910245495"],"abstract_inverted_index":{"Whereas":[0],"formal":[1],"mathematical":[2,15],"theories":[3],"are":[4],"well":[5],"studied,":[6],"computers":[7],"cannot":[8],"yet":[9],"adequately":[10],"represent":[11,87],"and":[12,17,30,39,45,48,95],"reason":[13],"about":[14],"dialogues":[16],"other":[18],"informal":[19],"texts.":[20],"To":[21],"address":[22],"this":[23],"gap,":[24],"we":[25,65,78],"have":[26,79],"developed":[27,80],"a":[28,69,81],"representation":[29],"reasoning":[31,98],"strategy":[32],"that":[33,56,100],"draws":[34],"on":[35],"contemporary":[36],"argumentation":[37],"theory":[38],"classic":[40],"AI":[41],"techniques":[42],"for":[43,76],"representing":[44],"querying":[46],"narratives":[47],"dialogues.":[49],"In":[50],"order":[51],"to":[52,62,105],"make":[53],"the":[54,89,96,106],"structures":[55],"these":[57],"modelling":[58],"tools":[59],"produce":[60],"accessible":[61],"computational":[63],"reasoning,":[64],"encode":[66],"representations":[67],"in":[68,84],"higher-order":[70],"nested":[71],"semantic":[72],"network.":[73],"This":[74],"system,":[75],"which":[77],"preliminary":[82],"prototype":[83],"LISP,":[85],"can":[86],"both":[88],"content":[90],"of":[91],"what":[92],"people":[93],"say,":[94],"dynamic":[97],"steps":[99],"move":[101],"from":[102],"one":[103],"step":[104],"next.":[107]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-03-16T09:10:04.655348","created_date":"2017-09-15T00:00:00"}