{"id":"https://openalex.org/W4383598606","doi":"https://doi.org/10.1002/int.4550050404","title":"Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example","display_name":"Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example","publication_year":1990,"publication_date":"1990-09-01","ids":{"openalex":"https://openalex.org/W4383598606","doi":"https://doi.org/10.1002/int.4550050404"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1002/int.4550050404","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1002/int.4550050404","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089487596","display_name":"Philippe Besnard","orcid":null},"institutions":[],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Besnard","raw_affiliation_strings":["REPCO - Knowledge Representation (Campus de Beaulieu, 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"REPCO - Knowledge Representation (Campus de Beaulieu, 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031106135","display_name":"Marie-Odile Cordier","orcid":null},"institutions":[],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marie-Odile Cordier","raw_affiliation_strings":["REPCO - Knowledge Representation (Campus de Beaulieu, 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"REPCO - Knowledge Representation (Campus de Beaulieu, 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018014010","display_name":"Didier Dubois","orcid":"https://orcid.org/0000-0002-6505-2536"},"institutions":[{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210119061"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Didier Dubois","raw_affiliation_strings":["CNRS - Centre National de la Recherche Scientifique (France)","IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"affiliations":[{"raw_affiliation_string":"IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108780815","display_name":"Christine Froidevaux","orcid":null},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christine Froidevaux","raw_affiliation_strings":["LRI - Laboratoire de Recherche en Informatique (LRI - B\u00e2timents 650-660 Universit\u00e9 Paris-Sud 91405 Orsay Cedex - France)"],"affiliations":[{"raw_affiliation_string":"LRI - Laboratoire de Recherche en Informatique (LRI - B\u00e2timents 650-660 Universit\u00e9 Paris-Sud 91405 Orsay Cedex - France)","institution_ids":["https://openalex.org/I102197404","https://openalex.org/I4210144804"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047479712","display_name":"Yves Moinard","orcid":null},"institutions":[],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yves Moinard","raw_affiliation_strings":["DREAM - Diagnosing, Recommending Actions and Modelling (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"DREAM - Diagnosing, Recommending Actions and Modelling (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049896579","display_name":"Henri Prade","orcid":"https://orcid.org/0000-0003-4586-8527"},"institutions":[{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210119061"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Henri Prade","raw_affiliation_strings":["CNRS - Centre National de la Recherche Scientifique (France)","IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"affiliations":[{"raw_affiliation_string":"IRIT-ADRIA - Argumentation, D\u00e9cision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012362996","display_name":"Camilla Schwind","orcid":null},"institutions":[{"id":"https://openalex.org/I4210115196","display_name":"Laboratoire d\u2019Informatique Fondamentale de Marseille","ror":"https://ror.org/022my8t07","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210115196","https://openalex.org/I4210142724","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Camilla Schwind","raw_affiliation_strings":["LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166 (CMI 39, Rue Joliot Curie 13453 MARSEILLE CEDEX 13 - France)"],"affiliations":[{"raw_affiliation_string":"LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166 (CMI 39, Rue Joliot Curie 13453 MARSEILLE CEDEX 13 - France)","institution_ids":["https://openalex.org/I4210115196"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079940268","display_name":"Pierre Siegel","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Siegel","raw_affiliation_strings":["LSIS - Laboratoire des Sciences de l'Information et des Syst\u00e8mes (Domaine Universitaire de Saint-J\u00e9r\u00f4me\r\nBatiment Polytech\r\nAvenue Escadrille Normandie-Niemen\r\n13397 MARSEILLE CEDEX 20 - France)"],"affiliations":[{"raw_affiliation_string":"LSIS - Laboratoire des Sciences de l'Information et des Syst\u00e8mes (Domaine Universitaire de Saint-J\u00e9r\u00f4me\r\nBatiment Polytech\r\nAvenue Escadrille Normandie-Niemen\r\n13397 MARSEILLE CEDEX 20 - France)","institution_ids":["https://openalex.org/I4210114274"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001235333","display_name":"Lu\u00eds Fari\u00f1as del Cerro","orcid":"https://orcid.org/0000-0001-8752-8876"},"institutions":[{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210119061"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luis Fari\u00f1as del Cerro","raw_affiliation_strings":["CNRS - Centre National de la Recherche Scientifique (France)","IRIT-LILaC - Logique, Interaction, Langue et Calcul (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)"],"affiliations":[{"raw_affiliation_string":"IRIT-LILaC - Logique, Interaction, Langue et Calcul (IRIT\r\n118 Route de Narbonne\r\n31062 Toulouse Cedex 9 - France)","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I134560555","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2500,"currency":"USD","value_usd":2500,"provenance":"doaj"},"apc_paid":{"value":2500,"currency":"USD","value_usd":2500,"provenance":"doaj"},"fwci":3.271,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.94132,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":"5","issue":"4","first_page":"373","last_page":"422"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9999,"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.9999,"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.9993,"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.9952,"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/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.8240299},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.7779287},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief Revision","score":0.64926267},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.55380225},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.5108425},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.5055566},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.43691108},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.41339272}],"concepts":[{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.8240299},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7863264},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.7779287},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.64926267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.604281},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5769778},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.55380225},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.52824205},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.5108425},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.5055566},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.49513236},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.47684753},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.46120068},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.44347757},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.43924484},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.43691108},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.43423966},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.41339272},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40214515},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3016625},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.28553516},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.19482681},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.1008915},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1002/int.4550050404","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://hal.science/hal-04155305","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1002/int.4550050404","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":128,"referenced_works":["https://openalex.org/W1497201281","https://openalex.org/W1508433384","https://openalex.org/W1537809898","https://openalex.org/W1588751014","https://openalex.org/W1593617641","https://openalex.org/W1602576879","https://openalex.org/W164905838","https://openalex.org/W1672044704","https://openalex.org/W1684304711","https://openalex.org/W1761876784","https://openalex.org/W1766332311","https://openalex.org/W1884902993","https://openalex.org/W1905260848","https://openalex.org/W1964656133","https://openalex.org/W1966321785","https://openalex.org/W1966552757","https://openalex.org/W1966867162","https://openalex.org/W1967756796","https://openalex.org/W1972781663","https://openalex.org/W1973087208","https://openalex.org/W1973711118","https://openalex.org/W1974554384","https://openalex.org/W1976303542","https://openalex.org/W1978297541","https://openalex.org/W1979029381","https://openalex.org/W1981308695","https://openalex.org/W1981541822","https://openalex.org/W1993075287","https://openalex.org/W1993328936","https://openalex.org/W1995977929","https://openalex.org/W1996347293","https://openalex.org/W1998363560","https://openalex.org/W1998668381","https://openalex.org/W1999622198","https://openalex.org/W2000141049","https://openalex.org/W2001338113","https://openalex.org/W2004131797","https://openalex.org/W2005984922","https://openalex.org/W2008294142","https://openalex.org/W2014665390","https://openalex.org/W2016443760","https://openalex.org/W2017111168","https://openalex.org/W2020153579","https://openalex.org/W2022971483","https://openalex.org/W2026927381","https://openalex.org/W2029246084","https://openalex.org/W2034601713","https://openalex.org/W2036900631","https://openalex.org/W2038118137","https://openalex.org/W2039303449","https://openalex.org/W2039438726","https://openalex.org/W2039555920","https://openalex.org/W2039797670","https://openalex.org/W2040326164","https://openalex.org/W2041706386","https://openalex.org/W2051405266","https://openalex.org/W2051677363","https://openalex.org/W2057722782","https://openalex.org/W2060671215","https://openalex.org/W2062539190","https://openalex.org/W2065555531","https://openalex.org/W2067326626","https://openalex.org/W2072203301","https://openalex.org/W2072291277","https://openalex.org/W2075277371","https://openalex.org/W2078296160","https://openalex.org/W2078926321","https://openalex.org/W2082485545","https://openalex.org/W2082736027","https://openalex.org/W2083786481","https://openalex.org/W2089209468","https://openalex.org/W2092180595","https://openalex.org/W2093294315","https://openalex.org/W2094848746","https://openalex.org/W2108309071","https://openalex.org/W2109015621","https://openalex.org/W2123671027","https://openalex.org/W2129802691","https://openalex.org/W2130915832","https://openalex.org/W2142616542","https://openalex.org/W2143659798","https://openalex.org/W2144347980","https://openalex.org/W2145003065","https://openalex.org/W2147096558","https://openalex.org/W2149420462","https://openalex.org/W2150357241","https://openalex.org/W2154630361","https://openalex.org/W2155322595","https://openalex.org/W2157342732","https://openalex.org/W2169602487","https://openalex.org/W2173438031","https://openalex.org/W2178747745","https://openalex.org/W2324075002","https://openalex.org/W2324703352","https://openalex.org/W2414612277","https://openalex.org/W2493731946","https://openalex.org/W2708689663","https://openalex.org/W2788164529","https://openalex.org/W2795580387","https://openalex.org/W2914728526","https://openalex.org/W2945259913","https://openalex.org/W294994052","https://openalex.org/W2990482619","https://openalex.org/W317793146","https://openalex.org/W4205821313","https://openalex.org/W4206370914","https://openalex.org/W4211007335","https://openalex.org/W4212930891","https://openalex.org/W4213128210","https://openalex.org/W4230560363","https://openalex.org/W4230588984","https://openalex.org/W4231575501","https://openalex.org/W4233253115","https://openalex.org/W4236745595","https://openalex.org/W4241442473","https://openalex.org/W4241797484","https://openalex.org/W4242309855","https://openalex.org/W4243164604","https://openalex.org/W4246871619","https://openalex.org/W4253318502","https://openalex.org/W4253414862","https://openalex.org/W4254524467","https://openalex.org/W4301347335","https://openalex.org/W4386531476","https://openalex.org/W4393025596","https://openalex.org/W580985703","https://openalex.org/W611848211","https://openalex.org/W634113983"],"related_works":["https://openalex.org/W610916638","https://openalex.org/W4233073588","https://openalex.org/W2546606475","https://openalex.org/W2183022864","https://openalex.org/W2097589034","https://openalex.org/W2087561262","https://openalex.org/W2044503422","https://openalex.org/W2008106366","https://openalex.org/W2001321150","https://openalex.org/W1526931790"],"abstract_inverted_index":{"Man":[0],"is":[1,9],"capable":[2],"of":[3,36,39,60,63,85,119,151,195,229,245,247,250,258,263],"reasoning":[4,65,220],"when":[5],"the":[6,11,34,44,58,67,71,89,117,126,164,169,172,227,243,255,264,273,278,281],"available":[7,47],"information":[8,40,45],"incomplete.":[10],"conclusions":[12,23],"obtained":[13],"are":[14,24,28,79,92,99,112,178],"based":[15],"on":[16,132,231],"knowledge":[17,120],"considered":[18,174],"as":[19,26,202,204,236,238,284,286],"\u201cgenerally":[20],"true.\u201d":[21],"These":[22],"temporary":[25],"they":[27],"liable":[29],"to":[30,87,94,138,147,159,161,241,275,287],"be":[31],"challenged":[32],"by":[33,253],"arrival":[35],"new":[37],"pieces":[38],"which":[41,111],"will":[42,271],"refine":[43],"previously":[46],"(without":[48],"necessarily":[49],"contradicting":[50],"it).":[51],"Numerous":[52],"studies":[53],"have":[54,74],"independently":[55],"dealt":[56],"with":[57,106],"formalization":[59],"this":[61,176],"kind":[62],"revisable":[64],"over":[66],"last":[68],"ten":[69],"years.":[70],"approaches":[72,128,283],"used":[73],"been":[75],"very":[76],"diverse:":[77],"some":[78,91,103],"purely":[80],"symbolic,":[81],"others":[82,98],"make":[83],"use":[84,257],"numbers":[86],"quantify":[88],"uncertainty;":[90],"close":[93],"formal":[95],"logic,":[96,180,186,191,209,235],"and":[97,129,155,199,210,221,262],"much":[100],"less":[101],"formalized;":[102],"only":[104],"deal":[105],"exceptions,":[107],"a":[108,133,248,259],"smaller":[109],"number":[110],"somewhat":[113],"more":[114],"ambitious":[115],"tackle":[116],"problem":[118],"base":[121],"revision.":[122],"This":[123],"work":[124,177],"presents":[125],"above":[127],"compares":[130],"them":[131],"single":[134,260],"example":[135,261],"in":[136,157,175],"order":[137,158],"better":[139,276],"evaluate":[140],"their":[141,143,145,289],"similarities,":[142],"differences,":[144],"abilities":[146],"formalize":[148,242],"certain":[149],"aspects":[150],"so-called":[152],"\u201ccommonsense\u201d":[153],"reasoning,":[154],"also":[156,214],"try":[160],"lay":[162],"bare":[163],"fundamental":[165],"principles":[166],"that":[167],"underlie":[168],"different":[170],"approaches.":[171],"logics":[173,194,201],"default":[179],"nonmonotonic":[181],"modal":[182],"logics,":[183,193],"including":[184],"autoepistemic":[185],"circumscription,":[187],"circumscription-like":[188],"approaches,":[189],"supposition-based":[190],"conditional":[192],"uncertainty,":[196],"i.e.,":[197],"probabilistic,":[198],"possibilistic":[200],"well":[203,237,285],"belief":[205],"functions,":[206],"numerical":[207],"quantifier":[208],"fuzzy":[211],"logics.":[212],"We":[213],"consider":[215],"formalisms":[216],"oriented":[217],"towards":[218],"causal":[219],"analogical":[222],"reasoning.":[223],"Lastly,":[224],"we":[225],"study":[226],"contribution":[228],"works":[230],"truth":[232],"maintenance,":[233],"action":[234],"recent":[239],"attempts":[240],"process":[244],"revision":[246],"set":[249],"formulae":[251],"closed":[252],"deduction.":[254],"systematic":[256],"same":[265],"evaluation":[266],"criteria":[267],"for":[268],"each":[269],"formalism,":[270],"enable":[272],"reader":[274],"perceive":[277],"rationale":[279],"behind":[280],"various":[282],"appreciate":[288],"interest.":[290]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4383598606","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2025-01-06T11:42:32.530724","created_date":"2023-07-08"}