{"id":"https://openalex.org/W1566718590","doi":"https://doi.org/10.1023/a:1008243611454","title":"An Interpretation of Default Logic in Minimal Temporal Epistemic Logic","display_name":"An Interpretation of Default Logic in Minimal Temporal Epistemic Logic","publication_year":1998,"publication_date":"1998-07-01","ids":{"openalex":"https://openalex.org/W1566718590","doi":"https://doi.org/10.1023/a:1008243611454","mag":"1566718590"},"language":"en","primary_location":{"id":"doi:10.1023/a:1008243611454","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008243611454","pdf_url":null,"source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"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":"Journal of Logic, Language and Information","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/cf6814da-026a-42ca-82de-ca6348b5958a","any_repository_has_fulltext":true},"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":["Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands (E-mail: {joeri,treur}@cs.vu.nl ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Artificial Intelligence Group, 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":"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":true,"raw_author_name":"Jan Treur","raw_affiliation_strings":["Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands (E-mail: {joeri,treur}@cs.vu.nl ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Artificial Intelligence Group, 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":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5039512008","https://openalex.org/A5083304312"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":{"value":3190,"currency":"USD","value_usd":3190},"apc_paid":null,"fwci":1.9937,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.87945058,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"7","issue":"3","first_page":"369","last_page":"388"},"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.953499972820282,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9496999979019165,"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-logic","display_name":"Default logic","score":0.8248144388198853},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.7261884212493896},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6859079599380493},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6565718054771423},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5676614046096802},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.537850558757782},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5171256065368652},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4826012849807739},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.46724963188171387},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.4439888596534729},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.427764356136322},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.41557779908180237},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.37531018257141113},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.35988906025886536},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35127389430999756},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.33068037033081055},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30885249376296997},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2675088942050934},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.10475248098373413}],"concepts":[{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.8248144388198853},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.7261884212493896},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6859079599380493},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6565718054771423},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5676614046096802},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.537850558757782},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5171256065368652},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4826012849807739},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.46724963188171387},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4439888596534729},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.427764356136322},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.41557779908180237},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.37531018257141113},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.35988906025886536},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35127389430999756},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.33068037033081055},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30885249376296997},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2675088942050934},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.10475248098373413},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1023/a:1008243611454","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008243611454","pdf_url":null,"source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"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":"Journal of Logic, Language and Information","raw_type":"journal-article"},{"id":"pmh:oai:research.vu.nl:openaire/cf6814da-026a-42ca-82de-ca6348b5958a","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/cf6814da-026a-42ca-82de-ca6348b5958a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"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":"Engelfriet, J & Treur, J 1998, 'An Interpretation of Default Logic in Minimal Temporal Epistemic Logic', Journal of Logic, Language and Information, vol. 7, no. 3, pp. 369-388. https://doi.org/10.1023/A:1008243611454","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:openaire/cf6814da-026a-42ca-82de-ca6348b5958a","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/cf6814da-026a-42ca-82de-ca6348b5958a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"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":"Engelfriet, J & Treur, J 1998, 'An Interpretation of Default Logic in Minimal Temporal Epistemic Logic', Journal of Logic, Language and Information, vol. 7, no. 3, pp. 369-388. https://doi.org/10.1023/A:1008243611454","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W61757047","https://openalex.org/W94073873","https://openalex.org/W105667720","https://openalex.org/W132437300","https://openalex.org/W192368243","https://openalex.org/W206505968","https://openalex.org/W1488267121","https://openalex.org/W1492601717","https://openalex.org/W1505241859","https://openalex.org/W1505432843","https://openalex.org/W1518303793","https://openalex.org/W1519055258","https://openalex.org/W1545424768","https://openalex.org/W1555604471","https://openalex.org/W1574564386","https://openalex.org/W1593769724","https://openalex.org/W1699512023","https://openalex.org/W1760193454","https://openalex.org/W1804336763","https://openalex.org/W1988882917","https://openalex.org/W1996347293","https://openalex.org/W2000264802","https://openalex.org/W2008106366","https://openalex.org/W2009708782","https://openalex.org/W2017661088","https://openalex.org/W2018314350","https://openalex.org/W2023870985","https://openalex.org/W2060213685","https://openalex.org/W2074767926","https://openalex.org/W2086424170","https://openalex.org/W2091197883","https://openalex.org/W2148717074","https://openalex.org/W2155322595","https://openalex.org/W2403475281","https://openalex.org/W2568414465","https://openalex.org/W2774716975","https://openalex.org/W3000457705","https://openalex.org/W4213128210","https://openalex.org/W6603827734","https://openalex.org/W6608381722","https://openalex.org/W6681589381"],"related_works":["https://openalex.org/W1526931790","https://openalex.org/W77119612","https://openalex.org/W62879400","https://openalex.org/W2006784674","https://openalex.org/W2000042161","https://openalex.org/W1660287273","https://openalex.org/W1557853831","https://openalex.org/W1533378158","https://openalex.org/W134813623","https://openalex.org/W1566718590"],"abstract_inverted_index":null,"counts_by_year":[{"year":2015,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2016-06-24T00:00:00"}