{"id":"https://openalex.org/W4402364416","doi":"https://doi.org/10.1007/978-3-031-71167-1_14","title":"Probing LLMs for\u00a0Logical Reasoning","display_name":"Probing LLMs for\u00a0Logical Reasoning","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4402364416","doi":"https://doi.org/10.1007/978-3-031-71167-1_14"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-71167-1_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-71167-1_14","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://research.vu.nl/en/publications/3039c2c5-5d24-4a13-9ad9-504c39ced09c","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081919216","display_name":"Francesco Manigrasso","orcid":"https://orcid.org/0000-0002-4151-8880"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Francesco Manigrasso","raw_affiliation_strings":["Politecnico di Torino, Turin, Italy"],"raw_orcid":"https://orcid.org/0000-0002-4151-8880","affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102863272","display_name":"Stefan Schouten","orcid":"https://orcid.org/0000-0001-9839-9985"},"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":"Stefan Schouten","raw_affiliation_strings":["Vrije Universiteit, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-9839-9985","affiliations":[{"raw_affiliation_string":"Vrije Universiteit, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051768981","display_name":"Lia Morra","orcid":"https://orcid.org/0000-0003-2122-7178"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Lia Morra","raw_affiliation_strings":["Politecnico di Torino, Turin, Italy"],"raw_orcid":"https://orcid.org/0000-0003-2122-7178","affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001241443","display_name":"Peter Bloem","orcid":"https://orcid.org/0000-0002-0189-5817"},"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":"Peter Bloem","raw_affiliation_strings":["Vrije Universiteit, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-0189-5817","affiliations":[{"raw_affiliation_string":"Vrije Universiteit, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081919216"],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7213,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71801733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"257","last_page":"278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9983999729156494,"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.9983999729156494,"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.9848999977111816,"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.9692000150680542,"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.7685203552246094},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.5165216326713562},{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"Logical reasoning","score":0.48600396513938904},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.41698744893074036},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3641769289970398},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3084479570388794},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.06789383292198181}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7685203552246094},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.5165216326713562},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.48600396513938904},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.41698744893074036},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3641769289970398},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3084479570388794},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.06789383292198181}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-71167-1_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-71167-1_14","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:research.vu.nl:openaire/3039c2c5-5d24-4a13-9ad9-504c39ced09c","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/3039c2c5-5d24-4a13-9ad9-504c39ced09c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Manigrasso, F, Schouten, S, Morra, L & Bloem, P 2024, Probing LLMs for\u00a0Logical Reasoning. in T R Besold, A d\u2019Avila Garcez, E Jimenez-Ruiz, P Madhyastha, B Wagner & R Confalonieri (eds), Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9\u201312, 2024, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14979 LNAI, NeSy: International Conference on Neural-Symbolic Learning and Reasoning, Springer Science and Business Media Deutschland GmbH, pp. 257-278, 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, Barcelona, Spain, 9/09/24. https://doi.org/10.1007/978-3-031-71167-1_14","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/3039c2c5-5d24-4a13-9ad9-504c39ced09c","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/3039c2c5-5d24-4a13-9ad9-504c39ced09c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"Manigrasso, F, Schouten, S, Morra, L & Bloem, P 2024, Probing LLMs for\u00a0Logical Reasoning. in T R Besold, A d\u2019Avila Garcez, E Jimenez-Ruiz, P Madhyastha, B Wagner & R Confalonieri (eds), Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9\u201312, 2024, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14979 LNAI, NeSy: International Conference on Neural-Symbolic Learning and Reasoning, Springer Science and Business Media Deutschland GmbH, pp. 257-278, 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, Barcelona, Spain, 9/09/24. https://doi.org/10.1007/978-3-031-71167-1_14","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:openaire/3039c2c5-5d24-4a13-9ad9-504c39ced09c","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/3039c2c5-5d24-4a13-9ad9-504c39ced09c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Manigrasso, F, Schouten, S, Morra, L & Bloem, P 2024, Probing LLMs for\u00a0Logical Reasoning. in T R Besold, A d\u2019Avila Garcez, E Jimenez-Ruiz, P Madhyastha, B Wagner & R Confalonieri (eds), Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9\u201312, 2024, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14979 LNAI, NeSy: International Conference on Neural-Symbolic Learning and Reasoning, Springer Science and Business Media Deutschland GmbH, pp. 257-278, 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, Barcelona, Spain, 9/09/24. https://doi.org/10.1007/978-3-031-71167-1_14","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W2115792525","https://openalex.org/W2516090925","https://openalex.org/W2946417913","https://openalex.org/W2963430224","https://openalex.org/W3007007518","https://openalex.org/W3106290101","https://openalex.org/W3178969612","https://openalex.org/W3202070718","https://openalex.org/W3203835688","https://openalex.org/W3216178672","https://openalex.org/W4235505822","https://openalex.org/W4285192810","https://openalex.org/W4385571689","https://openalex.org/W4386433029","https://openalex.org/W4389519449","https://openalex.org/W4389520445","https://openalex.org/W4392669753","https://openalex.org/W6600106792","https://openalex.org/W6632903747","https://openalex.org/W6739901393","https://openalex.org/W6950149553"],"related_works":["https://openalex.org/W2311306072","https://openalex.org/W2348686280","https://openalex.org/W2368956577","https://openalex.org/W2531205399","https://openalex.org/W2027647470","https://openalex.org/W143007621","https://openalex.org/W3037204972","https://openalex.org/W2358195740","https://openalex.org/W2997351066","https://openalex.org/W4379933154"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-10T08:33:47.465468","created_date":"2025-10-10T00:00:00"}