{"id":"https://openalex.org/W2095794817","doi":"https://doi.org/10.1007/bfb0054796","title":"Generalizing updates: From models to programs","display_name":"Generalizing updates: From models to programs","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2095794817","doi":"https://doi.org/10.1007/bfb0054796","mag":"2095794817"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0054796","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0054796","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/A5066466375","display_name":"Jo\u00e3o Leite","orcid":"https://orcid.org/0000-0001-6786-7360"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jo\u00c3o Alexandre Leite","raw_affiliation_strings":["Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal","Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, Monte da Caparica, Portugal"],"affiliations":[{"raw_affiliation_string":"Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, Monte da Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004318797","display_name":"Lu\u0131\u0301s Moniz Pereira","orcid":"https://orcid.org/0000-0001-7880-4322"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Lu\u00eds Moniz Pereira","raw_affiliation_strings":["Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal","Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, Monte da Caparica, Portugal"],"affiliations":[{"raw_affiliation_string":"Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"Centro de Intelig\u00cancia Artificial (CENTRIA) Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, Monte da Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066466375"],"corresponding_institution_ids":["https://openalex.org/I83558840"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.076,"has_fulltext":false,"cited_by_count":54,"citation_normalized_percentile":{"value":0.946638,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"224","last_page":"246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.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/T10126","display_name":"Logic, programming, and type systems","score":0.9818999767303467,"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.7856155037879944},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.658252477645874},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.5866597294807434},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5802863240242004},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5491153001785278},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.544242262840271},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5239858031272888},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.4938839077949524},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.4816392958164215},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43519675731658936},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.4171478748321533},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.41336730122566223},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4115094542503357},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38875308632850647},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3413766026496887},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.24986010789871216},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.2043919563293457},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1278517246246338}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7856155037879944},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.658252477645874},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5866597294807434},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5802863240242004},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5491153001785278},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.544242262840271},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5239858031272888},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.4938839077949524},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4816392958164215},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43519675731658936},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4171478748321533},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.41336730122566223},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4115094542503357},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38875308632850647},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3413766026496887},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.24986010789871216},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2043919563293457},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1278517246246338},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","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/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/bfb0054796","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0054796","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:CiteSeerX.psu:10.1.1.44.2995","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.2995","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://centria.di.fct.unl.pt/~jleite/papers/lpkr97-lnai.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.6682","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.6682","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://centria.di.fct.unl.pt/~lmp/publications/online-papers/LPKR97.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.7340","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.7340","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://centria.di.fct.unl.pt/~jleite/papers/lpkr97.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.64.7398","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.7398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://centria.di.fct.unl.pt/~jleite/papers/lpkr97.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.64.8281","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.8281","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://centria.di.fct.unl.pt/~jleite/papers/lpkr97-lnai.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W90143897","https://openalex.org/W99071911","https://openalex.org/W1485261310","https://openalex.org/W1486205590","https://openalex.org/W1499674830","https://openalex.org/W1511711492","https://openalex.org/W1519659352","https://openalex.org/W1564586270","https://openalex.org/W1594099509","https://openalex.org/W1889481706","https://openalex.org/W2004301675","https://openalex.org/W2094341147","https://openalex.org/W2121111746"],"related_works":["https://openalex.org/W1526885614","https://openalex.org/W1533155510","https://openalex.org/W1617965269","https://openalex.org/W1492397127","https://openalex.org/W2525463489","https://openalex.org/W2610968078","https://openalex.org/W1607801167","https://openalex.org/W2403737729","https://openalex.org/W1519659352","https://openalex.org/W1582756141"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}