{"id":"https://openalex.org/W2888670856","doi":"https://doi.org/10.1007/978-3-319-99957-9_1","title":"Automated Reasoning in the Age of the Internet","display_name":"Automated Reasoning in the Age of the Internet","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2888670856","doi":"https://doi.org/10.1007/978-3-319-99957-9_1","mag":"2888670856"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-99957-9_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-99957-9_1","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://www.research.ed.ac.uk/en/publications/4348ef04-cb75-42d9-b684-4e77a2780331","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040311876","display_name":"Alan Bundy","orcid":"https://orcid.org/0000-0002-0578-6474"},"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":"Alan Bundy","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048801815","display_name":"Kwabena Nuamah","orcid":"https://orcid.org/0000-0002-6868-9858"},"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":"Kwabena Nuamah","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102903629","display_name":"Christopher G. Lucas","orcid":"https://orcid.org/0000-0002-6655-8627"},"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":"Christopher Lucas","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5040311876"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.9032,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89052069,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"18"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/acronym","display_name":"Acronym","score":0.9642841815948486},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.8034349679946899},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6659903526306152},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6519815921783447},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.5702965259552002},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.3591375946998596},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3562964200973511},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3009381592273712},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.06622380018234253}],"concepts":[{"id":"https://openalex.org/C482391","wikidata":"https://www.wikidata.org/wiki/Q101244","display_name":"Acronym","level":2,"score":0.9642841815948486},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.8034349679946899},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6659903526306152},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6519815921783447},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.5702965259552002},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.3591375946998596},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3562964200973511},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3009381592273712},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.06622380018234253},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-99957-9_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-99957-9_1","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:pure.ed.ac.uk:openaire/4348ef04-cb75-42d9-b684-4e77a2780331","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/4348ef04-cb75-42d9-b684-4e77a2780331","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":"Bundy, A, Nuamah, K & Lucas, C 2018, Automated Reasoning in the Age of the Internet. in 13th International Conference on Artificial Intelligence and Symbolic Computation. vol. LNCS 11110, Lecture Notes in Computer Science, vol. 11110, Suzhou, China, pp. 3-18, 13th International Conference on Artificial Intelligence and Symbolic Computation, Suzhou, China, 16/09/18. https://doi.org/10.1007/978-3-319-99957-9_1","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/4348ef04-cb75-42d9-b684-4e77a2780331","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11820/4348ef04-cb75-42d9-b684-4e77a2780331","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/4348ef04-cb75-42d9-b684-4e77a2780331","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/4348ef04-cb75-42d9-b684-4e77a2780331","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":"Bundy, A, Nuamah, K & Lucas, C 2018, Automated Reasoning in the Age of the Internet. in 13th International Conference on Artificial Intelligence and Symbolic Computation. vol. LNCS 11110, Lecture Notes in Computer Science, vol. 11110, Suzhou, China, pp. 3-18, 13th International Conference on Artificial Intelligence and Symbolic Computation, Suzhou, China, 16/09/18. https://doi.org/10.1007/978-3-319-99957-9_1","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W630094465","https://openalex.org/W1489183084","https://openalex.org/W2002947720","https://openalex.org/W2016089260","https://openalex.org/W2080133951","https://openalex.org/W2081580037","https://openalex.org/W2171278097","https://openalex.org/W2251329024","https://openalex.org/W2487222748","https://openalex.org/W2900274954"],"related_works":["https://openalex.org/W4224143833","https://openalex.org/W2768246685","https://openalex.org/W2599055196","https://openalex.org/W4317856743","https://openalex.org/W4319323735","https://openalex.org/W2779863472","https://openalex.org/W4311710969","https://openalex.org/W2925962066","https://openalex.org/W2073540488","https://openalex.org/W2373621838"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}