{"id":"https://openalex.org/W1542576960","doi":"https://doi.org/10.1023/a:1018921920657","title":"Similarity preservation in default logic","display_name":"Similarity preservation in default logic","publication_year":1999,"publication_date":"1999-07-01","ids":{"openalex":"https://openalex.org/W1542576960","doi":"https://doi.org/10.1023/a:1018921920657","mag":"1542576960"},"language":"en","primary_location":{"id":"doi:10.1023/a:1018921920657","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018921920657","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/A5023948083","display_name":"Rachel Ben\u2010Eliyahu\u2010Zohary","orcid":"https://orcid.org/0000-0002-9585-5014"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Rachel Ben-Eliyahu-Zohary","raw_affiliation_strings":["Department of Communication Systems Engineering, Ben Gurion University of the Negev, P.O. Box 653, Beer Sheva, 84105, Israel","Department of Communication Systems Engineering, Ben Gurion University of the Negev, P.O. Box 653, Beer Sheva 84105, Israel#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Communication Systems Engineering, Ben Gurion University of the Negev, P.O. Box 653, Beer Sheva, 84105, Israel","institution_ids":["https://openalex.org/I124227911"]},{"raw_affiliation_string":"Department of Communication Systems Engineering, Ben Gurion University of the Negev, P.O. Box 653, Beer Sheva 84105, Israel#TAB#","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065931607","display_name":"Nissim Francez","orcid":"https://orcid.org/0000-0002-6993-4392"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Nissim Francez","raw_affiliation_strings":["Department of Computer Science, Technion \u2013, Israel Institute of Technology, Haifa, 32000, Israel","Department of Computer Science, Technion\u2013Israel Institute of Technology  Haifa 32000, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technion \u2013, Israel Institute of Technology, Haifa, 32000, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Department of Computer Science, Technion\u2013Israel Institute of Technology  Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103219563","display_name":"Michael Kaminski","orcid":"https://orcid.org/0000-0002-9848-4191"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Michael Kaminski","raw_affiliation_strings":["Department of Computer Science, Technion \u2013, Israel Institute of Technology, Haifa, 32000, Israel","Department of Computer Science, Technion\u2013Israel Institute of Technology  Haifa 32000, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technion \u2013, Israel Institute of Technology, Haifa, 32000, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Department of Computer Science, Technion\u2013Israel Institute of Technology  Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.539,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74926896,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"1-2","first_page":"137","last_page":"160"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.974399983882904,"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.97079998254776,"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/default","display_name":"Default","score":0.8006389141082764},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.709851086139679},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.674638569355011},{"id":"https://openalex.org/keywords/similarity","display_name":"Similarity (geometry)","score":0.5646086931228638},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5344889163970947},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5169728994369507},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.45354026556015015},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4146497845649719},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40426212549209595},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.39359214901924133},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36869025230407715},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36826568841934204},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31558045744895935},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.20925769209861755},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12029364705085754},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10236862301826477},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.09034454822540283},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.07818394899368286},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.06524422764778137}],"concepts":[{"id":"https://openalex.org/C69637215","wikidata":"https://www.wikidata.org/wiki/Q702362","display_name":"Default","level":2,"score":0.8006389141082764},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.709851086139679},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.674638569355011},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.5646086931228638},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5344889163970947},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5169728994369507},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.45354026556015015},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4146497845649719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40426212549209595},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.39359214901924133},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36869025230407715},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36826568841934204},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31558045744895935},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.20925769209861755},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12029364705085754},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10236862301826477},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.09034454822540283},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.07818394899368286},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.06524422764778137},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1018921920657","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018921920657","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1997714358","https://openalex.org/W2013153283","https://openalex.org/W2020153579","https://openalex.org/W2093641046","https://openalex.org/W2155322595"],"related_works":["https://openalex.org/W2155322595","https://openalex.org/W157785659","https://openalex.org/W2124620840","https://openalex.org/W43037849","https://openalex.org/W313521069","https://openalex.org/W2003879797","https://openalex.org/W2054201370","https://openalex.org/W2001082547","https://openalex.org/W2105597099","https://openalex.org/W2081817312"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2016-06-24T00:00:00"}