{"id":"https://openalex.org/W1535737240","doi":"https://doi.org/10.1023/a:1018909517931","title":"Nonmonotonic reasoning with multiple belief sets","display_name":"Nonmonotonic reasoning with multiple belief sets","publication_year":1998,"publication_date":"1998-02-01","ids":{"openalex":"https://openalex.org/W1535737240","doi":"https://doi.org/10.1023/a:1018909517931","mag":"1535737240"},"language":"en","primary_location":{"id":"doi:10.1023/a:1018909517931","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018909517931","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"type":"article","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/A5039512008","display_name":"Joeri Engelfriet","orcid":null},"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":true,"raw_author_name":"Joeri Engelfriet","raw_affiliation_strings":["Faculty of Sciences, Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","Faculty of Sciences, Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail: {joeri,treur}@cs.vu.nl#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences, Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Faculty of Sciences, Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail: {joeri,treur}@cs.vu.nl#TAB#","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020087024","display_name":"Heinrich Herre","orcid":"https://orcid.org/0000-0001-5343-9218"},"institutions":[{"id":"https://openalex.org/I147765834","display_name":"Leipzig University of Applied Sciences","ror":"https://ror.org/03xgcq477","country_code":"DE","type":"education","lineage":["https://openalex.org/I147765834"]},{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Heinrich Herre","raw_affiliation_strings":["Department of Computer Science, Augustplatz, University of Leipzig, 10-11, 04109, Leipzig, Germany","University of Leipzig, Department of Computer Science, Augustplatz 10‐11, 04109 Leipzig, Germany E-mail: herre@informatik.uni‐leipzig.de#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Augustplatz, University of Leipzig, 10-11, 04109, Leipzig, Germany","institution_ids":["https://openalex.org/I926574661","https://openalex.org/I147765834"]},{"raw_affiliation_string":"University of Leipzig, Department of Computer Science, Augustplatz 10‐11, 04109 Leipzig, Germany E-mail: herre@informatik.uni‐leipzig.de#TAB#","institution_ids":["https://openalex.org/I926574661"]}]},{"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":["Faculty of Sciences, Department of Artificial Intelligence, Vrije, Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","Faculty of Sciences, Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail: {joeri,treur}@cs.vu.nl#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences, Department of Artificial Intelligence, Vrije, Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Faculty of Sciences, Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail: {joeri,treur}@cs.vu.nl#TAB#","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5039512008"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.1058,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80972946,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"1-4","first_page":"225","last_page":"248"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.964900016784668,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9616000056266785,"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/belief-structure","display_name":"Belief structure","score":0.6974472999572754},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.669653058052063},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.627733051776886},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.6174182295799255},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6066274642944336},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5701349973678589},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5065768957138062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4879581332206726},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.47329798340797424},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4571405053138733},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4562995135784149},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3934583067893982},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3228082060813904}],"concepts":[{"id":"https://openalex.org/C44973800","wikidata":"https://www.wikidata.org/wiki/Q4882755","display_name":"Belief structure","level":2,"score":0.6974472999572754},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.669653058052063},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.627733051776886},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.6174182295799255},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6066274642944336},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5701349973678589},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5065768957138062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4879581332206726},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.47329798340797424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4571405053138733},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4562995135784149},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3934583067893982},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3228082060813904},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1023/a:1018909517931","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018909517931","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:vu:oai:research.vu.nl:publications/f45d524c-6216-4a9f-916c-45aaacda80ab","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/f45d524c-6216-4a9f-916c-45aaacda80ab","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":"Annals of Mathematics and Artificial Intelligence, 24, 225 - 248. Springer Netherlands","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W76174158","https://openalex.org/W105667720","https://openalex.org/W169596834","https://openalex.org/W206505968","https://openalex.org/W1481955269","https://openalex.org/W1501348379","https://openalex.org/W1504482310","https://openalex.org/W1505405898","https://openalex.org/W1505432843","https://openalex.org/W1524252583","https://openalex.org/W1536814009","https://openalex.org/W1545424768","https://openalex.org/W1555604471","https://openalex.org/W1565693361","https://openalex.org/W1566892080","https://openalex.org/W1568406216","https://openalex.org/W1574564386","https://openalex.org/W1588751014","https://openalex.org/W1610119672","https://openalex.org/W1760193454","https://openalex.org/W1761876784","https://openalex.org/W1776669836","https://openalex.org/W1975529297","https://openalex.org/W1975810242","https://openalex.org/W2003192160","https://openalex.org/W2020153579","https://openalex.org/W2029867900","https://openalex.org/W2080142817","https://openalex.org/W2111353076","https://openalex.org/W2112760160","https://openalex.org/W2149420462","https://openalex.org/W2152764793","https://openalex.org/W2155322595","https://openalex.org/W2945259913","https://openalex.org/W3000457705","https://openalex.org/W4213128210","https://openalex.org/W4229938980","https://openalex.org/W4247235522","https://openalex.org/W4252147174","https://openalex.org/W6735778279"],"related_works":["https://openalex.org/W1587450571","https://openalex.org/W2134878247","https://openalex.org/W2963363254","https://openalex.org/W2484821312","https://openalex.org/W1482342346","https://openalex.org/W2954333904","https://openalex.org/W1982042951","https://openalex.org/W1535737240","https://openalex.org/W1536814009","https://openalex.org/W120170173"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}