{"id":"https://openalex.org/W1585077430","doi":"https://doi.org/10.1007/11499220_44","title":"Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces","display_name":"Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1585077430","doi":"https://doi.org/10.1007/11499220_44","mag":"1585077430"},"language":"en","primary_location":{"id":"doi:10.1007/11499220_44","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11499220_44","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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067984774","display_name":"Tibor Bosse","orcid":"https://orcid.org/0000-0003-4233-0406"},"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":"Tibor Bosse","raw_affiliation_strings":["Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","(Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"(Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands)","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074074791","display_name":"Catholijn M. Jonker","orcid":"https://orcid.org/0000-0003-4780-7461"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Catholijn M. Jonker","raw_affiliation_strings":["Division Cognitive Engineering, Nijmegen Institute for Cognition and Information","Division Cognitive Engineering, Nijmegen Institute for Cognition and Information#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Division Cognitive Engineering, Nijmegen Institute for Cognition and Information","institution_ids":[]},{"raw_affiliation_string":"Division Cognitive Engineering, Nijmegen Institute for Cognition and Information#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083304312","display_name":"Jan Treur","orcid":"https://orcid.org/0000-0003-2466-9158"},"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":"Jan Treur","raw_affiliation_strings":["Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","(Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"(Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands)","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"427","last_page":"436"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9970999956130981,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9970999956130981,"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.9968000054359436,"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.9904000163078308,"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.857249915599823},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.675426185131073},{"id":"https://openalex.org/keywords/opportunistic-reasoning","display_name":"Opportunistic reasoning","score":0.6292485594749451},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.6262149810791016},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.5933458209037781},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.5552698969841003},{"id":"https://openalex.org/keywords/case-based-reasoning","display_name":"Case-based reasoning","score":0.5547590255737305},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5426734685897827},{"id":"https://openalex.org/keywords/analytic-reasoning","display_name":"Analytic reasoning","score":0.4969063103199005},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.4956413507461548},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4431169927120209},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.33626338839530945},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.21445471048355103}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.857249915599823},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.675426185131073},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.6292485594749451},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.6262149810791016},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.5933458209037781},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.5552698969841003},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.5547590255737305},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5426734685897827},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.4969063103199005},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.4956413507461548},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4431169927120209},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.33626338839530945},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.21445471048355103}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/11499220_44","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11499220_44","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:repository.ubn.ru.nl:2066/55315","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/55315","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mira, J.; Alvarez, J.R. (ed.), IWINAC 2005: Mechanisms, Symbols, and Models Underlying Cognition, pp. 427-436","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:oai:research.vu.nl:publications/ec299cc5-d940-4d98-b713-86d15f233701","is_oa":false,"landing_page_url":"https://hdl.handle.net/1871.1/ec299cc5-d940-4d98-b713-86d15f233701","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bosse, T, Jonker, C M & Treur, J 2005, Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. in Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.. vol. 3561, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART I, vol. 3561, Springer/Verlag, pp. 427-436. https://doi.org/10.1007/11499220_44","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:vu:oai:research.vu.nl:publications/ec299cc5-d940-4d98-b713-86d15f233701","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/ec299cc5-d940-4d98-b713-86d15f233701","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005., 3561, 427 - 436","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.7699999809265137,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1516490166","https://openalex.org/W1573596901","https://openalex.org/W1970028342","https://openalex.org/W2005469430","https://openalex.org/W2017739343","https://openalex.org/W2038809129","https://openalex.org/W2081486243","https://openalex.org/W2099321410","https://openalex.org/W2131370811","https://openalex.org/W2140209236","https://openalex.org/W2140755446","https://openalex.org/W2142418077","https://openalex.org/W2156050087","https://openalex.org/W2174546849","https://openalex.org/W2178452756","https://openalex.org/W2466002298","https://openalex.org/W2526131742","https://openalex.org/W2598078671","https://openalex.org/W2899987233","https://openalex.org/W2912944677","https://openalex.org/W2960907329","https://openalex.org/W2965137057","https://openalex.org/W2997249208","https://openalex.org/W2999729612","https://openalex.org/W3151939289","https://openalex.org/W4252785764"],"related_works":["https://openalex.org/W1816891706","https://openalex.org/W2347305376","https://openalex.org/W3081308103","https://openalex.org/W94330105","https://openalex.org/W1523730659","https://openalex.org/W1974525301","https://openalex.org/W50880926","https://openalex.org/W2395908292","https://openalex.org/W2123211596","https://openalex.org/W1561225089"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}