{"id":"https://openalex.org/W2100089187","doi":"https://doi.org/10.1007/s11229-009-9556-2","title":"Inference and update","display_name":"Inference and update","publication_year":2009,"publication_date":"2009-04-28","ids":{"openalex":"https://openalex.org/W2100089187","doi":"https://doi.org/10.1007/s11229-009-9556-2","mag":"2100089187"},"language":"en","primary_location":{"id":"doi:10.1007/s11229-009-9556-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-009-9556-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-009-9556-2.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11229-009-9556-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037339361","display_name":"Fernando R. Vel\u00e1zquez\u2013Quesada","orcid":"https://orcid.org/0000-0003-4457-1414"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Fernando Raymundo Vel\u00e1zquez-Quesada","raw_affiliation_strings":["Institute for Logic, Language and Computation, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands","Universiteit van Amsterdam;"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Universiteit van Amsterdam;","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5037339361"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":9.4607,"has_fulltext":true,"cited_by_count":43,"citation_normalized_percentile":{"value":0.98010217,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"169","issue":"2","first_page":"283","last_page":"300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9987999796867371,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9952999949455261,"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/inference","display_name":"Inference","score":0.8020283579826355},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7045077085494995},{"id":"https://openalex.org/keywords/philosophy-of-language","display_name":"Philosophy of language","score":0.6955065131187439},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.6731690168380737},{"id":"https://openalex.org/keywords/philosophy-of-science","display_name":"Philosophy of science","score":0.5906726717948914},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.5635130405426025},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5599011182785034},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.538287878036499},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42463260889053345},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4228695333003998},{"id":"https://openalex.org/keywords/metaphysics","display_name":"Metaphysics","score":0.41211697459220886},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40600383281707764},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.37746134400367737},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3712967038154602},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35203665494918823},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.33019065856933594},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18173131346702576},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.12321862578392029},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.118767648935318}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.8020283579826355},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7045077085494995},{"id":"https://openalex.org/C123556308","wikidata":"https://www.wikidata.org/wiki/Q484761","display_name":"Philosophy of language","level":3,"score":0.6955065131187439},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6731690168380737},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.5906726717948914},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.5635130405426025},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5599011182785034},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.538287878036499},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42463260889053345},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4228695333003998},{"id":"https://openalex.org/C182744844","wikidata":"https://www.wikidata.org/wiki/Q35277","display_name":"Metaphysics","level":2,"score":0.41211697459220886},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40600383281707764},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.37746134400367737},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3712967038154602},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35203665494918823},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.33019065856933594},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18173131346702576},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12321862578392029},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.118767648935318},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/s11229-009-9556-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-009-9556-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-009-9556-2.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/46df52ea-9eb7-48c3-9ec7-65c8f617f134","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/inference-and-update(46df52ea-9eb7-48c3-9ec7-65c8f617f134).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"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":"Vel\u00e1zquez-Quesada, F R 2009, 'Inference and update', Synthese, vol. 169, no. 2, pp. 283-300. https://doi.org/10.1007/s11229-009-9556-2","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/d2347214-f007-4773-aa2e-3643e5e5b145","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/inference-and-update(d2347214-f007-4773-aa2e-3643e5e5b145).html","pdf_url":"http://ai.stanford.edu/~epacuit/LaII/proceedings/fer.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Vel\u00e1zquez-Quesada, F R 2008, Inference and update. in Workshop on Logic and Intelligent Interaction, ESSLLI 2008. pp. 12-20, Workshop on Logic and Intelligent Interaction (part of the European Summer School in Logic Language and Information, ESSLLI 2008), Hamburg, Germany, 11/08/08. < http://ai.stanford.edu/~epacuit/LaII/proceedings/fer.pdf >","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/d2347214-f007-4773-aa2e-3643e5e5b145","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/inference-and-update(d2347214-f007-4773-aa2e-3643e5e5b145).html","pdf_url":"https://dare.uva.nl/personal/pure/en/publications/inference-and-update(d2347214-f007-4773-aa2e-3643e5e5b145).html","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":"Workshop on Logic and Intelligent Interaction, ESSLLI 2008, 12 - 20","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.158.7808","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.7808","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-48.text.pdf","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire/46df52ea-9eb7-48c3-9ec7-65c8f617f134","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/inference-and-update(46df52ea-9eb7-48c3-9ec7-65c8f617f134).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"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":"Vel\u00e1zquez-Quesada, F R 2009, 'Inference and update', Synthese, vol. 169, no. 2, pp. 283-300. https://doi.org/10.1007/s11229-009-9556-2","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:publications/46df52ea-9eb7-48c3-9ec7-65c8f617f134","is_oa":false,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/inference-and-update(46df52ea-9eb7-48c3-9ec7-65c8f617f134).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"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:dare.uva.nl:publications/d2347214-f007-4773-aa2e-3643e5e5b145","is_oa":false,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/inference-and-update(d2347214-f007-4773-aa2e-3643e5e5b145).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Vel\u00e1zquez-Quesada, F R 2008, Inference and update. in Workshop on Logic and Intelligent Interaction, ESSLLI 2008. pp. 12-20, Workshop on Logic and Intelligent Interaction (part of the European Summer School in Logic Language and Information, ESSLLI 2008), Hamburg, Germany, 11/08/08. < http://ai.stanford.edu/~epacuit/LaII/proceedings/fer.pdf >","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/s11229-009-9556-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-009-9556-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-009-9556-2.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.699999988079071,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2100089187.pdf","grobid_xml":"https://content.openalex.org/works/W2100089187.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W5642659","https://openalex.org/W69507710","https://openalex.org/W188879371","https://openalex.org/W1497616999","https://openalex.org/W1498102290","https://openalex.org/W1518536561","https://openalex.org/W1518725080","https://openalex.org/W1553439336","https://openalex.org/W1847765408","https://openalex.org/W1889043786","https://openalex.org/W1972015197","https://openalex.org/W1973052685","https://openalex.org/W1973154161","https://openalex.org/W1975653290","https://openalex.org/W1988804687","https://openalex.org/W1994227541","https://openalex.org/W2031477175","https://openalex.org/W2032206951","https://openalex.org/W2074229945","https://openalex.org/W2084820210","https://openalex.org/W2096959337","https://openalex.org/W2097396421","https://openalex.org/W2111887774","https://openalex.org/W2136843524","https://openalex.org/W2146115302","https://openalex.org/W2156159999","https://openalex.org/W2159131252","https://openalex.org/W2552939155","https://openalex.org/W2605591720","https://openalex.org/W2610670723","https://openalex.org/W3023653957","https://openalex.org/W3081949511","https://openalex.org/W3127054829","https://openalex.org/W3141832951","https://openalex.org/W3146475326","https://openalex.org/W4285719527","https://openalex.org/W6605886054"],"related_works":["https://openalex.org/W1979976576","https://openalex.org/W4301358874","https://openalex.org/W4301150450","https://openalex.org/W4250651810","https://openalex.org/W2074061597","https://openalex.org/W4243280206","https://openalex.org/W4237099893","https://openalex.org/W2512236358","https://openalex.org/W2093643983","https://openalex.org/W2995044241"],"abstract_inverted_index":{"We":[0,97],"look":[1],"at":[2],"two":[3],"fundamental":[4],"logical":[5,88],"processes,":[6],"often":[7],"intertwined":[8],"in":[9,29,46,52,54],"planning":[10],"and":[11,15,51,101,109,114],"problem":[12],"solving:":[13],"inference":[14],"update.":[16],"Inference":[17],"is":[18,27,40],"an":[19],"internal":[20],"process":[21],"with":[22,111],"which":[23],"we":[24,32,85,106],"uncover":[25],"what":[26],"implicit":[28],"the":[30,37,47,55,77,117],"information":[31,61],"already":[33],"have.":[34],"Update,":[35],"on":[36],"other":[38,112],"hand,":[39],"produced":[41],"by":[42],"external":[43],"communication,":[44],"usually":[45,80],"form":[48,56],"of":[49,57],"announcements":[50],"general":[53],"observations,":[58],"giving":[59],"us":[60,92],"that":[62,90],"might":[63],"not":[64],"have":[65,73],"been":[66],"available":[67],"(even":[68],"implicitly)":[69],"before.":[70],"Both":[71],"processes":[72],"received":[74],"attention":[75],"from":[76],"logic":[78],"community,":[79],"separately.":[81],"In":[82],"this":[83],"work,":[84],"develop":[86],"a":[87,102],"language":[89],"allows":[91],"to":[93],"describe":[94],"them":[95],"together.":[96],"present":[98],"syntax,":[99],"semantics":[100],"complete":[103],"axiom":[104],"system;":[105],"discuss":[107],"similarities":[108],"differences":[110],"approaches":[113],"mention":[115],"how":[116],"work":[118],"can":[119],"be":[120],"extended.":[121]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}