{"id":"https://openalex.org/W1995228464","doi":"https://doi.org/10.1080/11663081.2000.10510986","title":"Specification of nonmonotonic reasoning","display_name":"Specification of nonmonotonic reasoning","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1995228464","doi":"https://doi.org/10.1080/11663081.2000.10510986","mag":"1995228464"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.2000.10510986","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2000.10510986","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","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":false,"raw_author_name":"Joeri Engelfriet","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Faculty of Mathematics and Computer Science, De Boelelaan 1081a, 1081, HV Amsterdam, The Nederlands Phone: +31 20 4447756 Fax: +31 20 4447756 E-mail: joeri@cs.vu.nltreur@cs.vu.nl","Artificial intelligence"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Faculty of Mathematics and Computer Science, De Boelelaan 1081a, 1081, HV Amsterdam, The Nederlands Phone: +31 20 4447756 Fax: +31 20 4447756 E-mail: joeri@cs.vu.nltreur@cs.vu.nl","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Artificial intelligence","institution_ids":[]}]},{"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":["Vrije Universiteit Amsterdam, Faculty of Mathematics and Computer Science, De Boelelaan 1081a, 1081, HV Amsterdam, The Nederlands Phone: +31 20 4447756 Fax: +31 20 4447756 E-mail: joeri@cs.vu.nltreur@cs.vu.nl","Artificial intelligence"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Faculty of Mathematics and Computer Science, De Boelelaan 1081a, 1081, HV Amsterdam, The Nederlands Phone: +31 20 4447756 Fax: +31 20 4447756 E-mail: joeri@cs.vu.nltreur@cs.vu.nl","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Artificial intelligence","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":null,"apc_paid":null,"fwci":1.6837,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87251669,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"1","first_page":"7","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9983000159263611,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9958999752998352,"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/fragment","display_name":"Fragment (logic)","score":0.725502610206604},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.7034790515899658},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6385716199874878},{"id":"https://openalex.org/keywords/frame-problem","display_name":"Frame problem","score":0.5656399130821228},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5537840723991394},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.5480743050575256},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5285391211509705},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4867105782032013},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4856211245059967},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.46659398078918457},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.42387673258781433},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35819190740585327},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3501615822315216}],"concepts":[{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.725502610206604},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.7034790515899658},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6385716199874878},{"id":"https://openalex.org/C5065155","wikidata":"https://www.wikidata.org/wiki/Q1185775","display_name":"Frame problem","level":2,"score":0.5656399130821228},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5537840723991394},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.5480743050575256},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5285391211509705},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4867105782032013},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4856211245059967},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.46659398078918457},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.42387673258781433},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35819190740585327},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3501615822315216},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1080/11663081.2000.10510986","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2000.10510986","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.56.1961","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1961","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.vu.nl/pub/joeri/FAPR96.2.ps.Z","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.80.6199","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.6199","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.few.vu.nl/~wai/Papers/JANCL00specNMR.pdf","raw_type":"text"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/93903eff-f0b4-4a11-b59d-58b44a9344a6","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/93903eff-f0b4-4a11-b59d-58b44a9344a6","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Engelfriet, J & Treur, J 2000, 'Specification of Nonmonotonic Reasoning.', Journal of Applied Non-Classical Logics, vol. 10, pp. 7-27. https://doi.org/10.1080/11663081.2000.10510986","raw_type":"article"},{"id":"pmh:oai:research.vu.nl:publications/93903eff-f0b4-4a11-b59d-58b44a9344a6","is_oa":false,"landing_page_url":"https://hdl.handle.net/1871.1/93903eff-f0b4-4a11-b59d-58b44a9344a6","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Engelfriet, J & Treur, J 2000, 'Specification of Nonmonotonic Reasoning.', Journal of Applied Non-Classical Logics, vol. 10, pp. 7-27. https://doi.org/10.1080/11663081.2000.10510986","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W83866972","https://openalex.org/W105667720","https://openalex.org/W186758419","https://openalex.org/W206505968","https://openalex.org/W1481955269","https://openalex.org/W1487325490","https://openalex.org/W1505405898","https://openalex.org/W1555604471","https://openalex.org/W1566892080","https://openalex.org/W1574564386","https://openalex.org/W1610119672","https://openalex.org/W1761876784","https://openalex.org/W1776669836","https://openalex.org/W1997643443","https://openalex.org/W2023870985","https://openalex.org/W2029867900","https://openalex.org/W2057546362","https://openalex.org/W2074767926","https://openalex.org/W2080142817","https://openalex.org/W2111302738","https://openalex.org/W2155322595","https://openalex.org/W2162575076","https://openalex.org/W3000457705","https://openalex.org/W4229938980","https://openalex.org/W4236783472","https://openalex.org/W6608381722"],"related_works":["https://openalex.org/W1660287273","https://openalex.org/W1557741300","https://openalex.org/W2020153579","https://openalex.org/W2567893123","https://openalex.org/W1974525301","https://openalex.org/W2182693335","https://openalex.org/W4241974092","https://openalex.org/W1488110666","https://openalex.org/W2175438028","https://openalex.org/W2029867900"],"abstract_inverted_index":{"Two":[0],"levels":[1,11],"of":[2,4,25,35,49,70,117],"description":[3,95,107],"nonmonotonic":[5,45],"reasoning":[6,36,46,87],"are":[7,14,109,114],"distinguished.":[8],"For":[9],"these":[10],"semantical":[12],"formalizations":[13],"given.":[15],"The":[16],"first":[17],"level":[18,31,57,80,93,100,105,110],"is":[19],"defined":[20],"semantically":[21],"by":[22,32],"the":[23,29,33,50],"notion":[24,34],"belief":[26,64],"state":[27,65],"frame,":[28],"second":[30],"frame.":[37],"We":[38],"introduce":[39],"two":[40],"specification":[41,54,77],"languages":[42],"to":[43,99],"describe":[44],"at":[47],"each":[48],"levels:":[51],"(1)":[52],"a":[53,68,75,115],"language":[55,78],"for":[56,79,103],"1,":[58,101],"with":[59,82],"formal":[60,83],"semantics":[61,84],"based":[62,85],"on":[63,86],"frames,":[66],"(2)":[67],"fragment":[69],"infinitary":[71],"temporal":[72],"logic":[73],"as":[74],"general":[76],"2,":[81],"frames.":[88],"In":[89],"our":[90],"framework":[91],"every":[92,104],"2":[94,111],"can":[96],"be":[97],"abstracted":[98],"and":[102],"1":[106],"there":[108],"descriptions":[112],"which":[113],"specialization":[116],"it.":[118]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}