{"id":"https://openalex.org/W1550383382","doi":"https://doi.org/10.1007/3-540-60983-0_21","title":"Some postulates for nonmonotonic theory revision applied to logic programming","display_name":"Some postulates for nonmonotonic theory revision applied to logic programming","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1550383382","doi":"https://doi.org/10.1007/3-540-60983-0_21","mag":"1550383382"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-60983-0_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-60983-0_21","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087895051","display_name":"Cees Witteveen","orcid":"https://orcid.org/0000-0002-7717-1209"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]},{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Cees Witteveen","raw_affiliation_strings":["Department of Computer Science, Utrecht University, Padualaan 14, 3584, CH Utrecht, The Netherlands","Department of Mathematics and Computer Science, Delft University of Technology, P.O.Box 356, 2600, AJ Delft, The Netherlands","Delft University of Technology","Utrecht University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Utrecht University, Padualaan 14, 3584, CH Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Delft University of Technology, P.O.Box 356, 2600, AJ Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"Delft University of Technology","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"Utrecht University","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061257841","display_name":"Wiebe van der Hoek","orcid":"https://orcid.org/0000-0003-0721-0310"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Wiebe Hoek","raw_affiliation_strings":["Utrecht university >  >  >  >"],"affiliations":[{"raw_affiliation_string":"Utrecht university >  >  >  >","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5087895051"],"corresponding_institution_ids":["https://openalex.org/I193662353","https://openalex.org/I98358874"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3081,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.76942075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"303","last_page":"318"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10215","display_name":"Semantic Web and Ontologies","score":0.9979000091552734,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9973000288009644,"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/consistency","display_name":"Consistency (knowledge bases)","score":0.6847924590110779},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6102254986763},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6052411794662476},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.534047544002533},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.5026440620422363},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4696003198623657},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.4240933358669281},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.4163161814212799},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3622094690799713},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3256937563419342},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.322634756565094},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2297297716140747},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.15649941563606262}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6847924590110779},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6102254986763},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6052411794662476},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.534047544002533},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.5026440620422363},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4696003198623657},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.4240933358669281},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.4163161814212799},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3622094690799713},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3256937563419342},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.322634756565094},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2297297716140747},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.15649941563606262}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-60983-0_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-60983-0_21","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W68567760","https://openalex.org/W86882622","https://openalex.org/W130848237","https://openalex.org/W1481955269","https://openalex.org/W1501084739","https://openalex.org/W1501129163","https://openalex.org/W1501726193","https://openalex.org/W1512750313","https://openalex.org/W1541434994","https://openalex.org/W1563917596","https://openalex.org/W1874801995","https://openalex.org/W2091849010","https://openalex.org/W2111009794","https://openalex.org/W2335386552","https://openalex.org/W3000457705","https://openalex.org/W4206370914","https://openalex.org/W4229938980"],"related_works":["https://openalex.org/W2017956822","https://openalex.org/W1536590331","https://openalex.org/W62879400","https://openalex.org/W2954333904","https://openalex.org/W1516630502","https://openalex.org/W2534700878","https://openalex.org/W4300540234","https://openalex.org/W2151829588","https://openalex.org/W4293406962","https://openalex.org/W150743059"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}