{"id":"https://openalex.org/W2907525544","doi":"https://doi.org/10.29007/swdn","title":"Reasoning About Prescription and Description Using Prioritized Default Rules","display_name":"Reasoning About Prescription and Description Using Prioritized Default Rules","publication_year":2018,"publication_date":"2018-10-23","ids":{"openalex":"https://openalex.org/W2907525544","doi":"https://doi.org/10.29007/swdn","mag":"2907525544"},"language":"en","primary_location":{"id":"doi:10.29007/swdn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/swdn","pdf_url":"https://easychair.org/publications/open/Zn7P","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/Zn7P","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079953212","display_name":"Valent\u00edn Cassano","orcid":"https://orcid.org/0000-0001-5904-3038"},"institutions":[{"id":"https://openalex.org/I112289208","display_name":"United Nations Children's Fund","ror":"https://ror.org/02dg0pv02","country_code":"US","type":"funder","lineage":["https://openalex.org/I112289208","https://openalex.org/I1286959531"]},{"id":"https://openalex.org/I4210095825","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - San Juan","ror":"https://ror.org/00kwm3d29","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210095825","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I4210134950","display_name":"Asociaci\u00f3n por los Derechos Civiles","ror":"https://ror.org/04assc746","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I4210134950"]}],"countries":["AR","US"],"is_corresponding":false,"raw_author_name":"Valentin Cassano","raw_affiliation_strings":["Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Argentina","Departamento de Computaci\u00f3n, FCEFQyN, UNRC, Argentina","Secci\u00f3n de Computaci\u00f3n, FaMAF, UNC, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Argentina","institution_ids":["https://openalex.org/I4210095825"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEFQyN, UNRC, Argentina","institution_ids":["https://openalex.org/I112289208"]},{"raw_affiliation_string":"Secci\u00f3n de Computaci\u00f3n, FaMAF, UNC, Argentina","institution_ids":["https://openalex.org/I4210134950"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022706489","display_name":"Carlos Areces","orcid":"https://orcid.org/0000-0001-7845-8503"},"institutions":[{"id":"https://openalex.org/I112289208","display_name":"United Nations Children's Fund","ror":"https://ror.org/02dg0pv02","country_code":"US","type":"funder","lineage":["https://openalex.org/I112289208","https://openalex.org/I1286959531"]},{"id":"https://openalex.org/I4210095825","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - San Juan","ror":"https://ror.org/00kwm3d29","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210095825","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I4210134950","display_name":"Asociaci\u00f3n por los Derechos Civiles","ror":"https://ror.org/04assc746","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I4210134950"]}],"countries":["AR","US"],"is_corresponding":true,"raw_author_name":"Carlos Areces","raw_affiliation_strings":["Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Argentina","Departamento de Computaci\u00f3n, FCEFQyN, UNRC, Argentina","Secci\u00f3n de Computaci\u00f3n, FaMAF, UNC, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Argentina","institution_ids":["https://openalex.org/I4210095825"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEFQyN, UNRC, Argentina","institution_ids":["https://openalex.org/I112289208"]},{"raw_affiliation_string":"Secci\u00f3n de Computaci\u00f3n, FaMAF, UNC, Argentina","institution_ids":["https://openalex.org/I4210134950"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046933752","display_name":"Pablo F. Castro","orcid":"https://orcid.org/0000-0002-5835-4333"},"institutions":[{"id":"https://openalex.org/I112289208","display_name":"United Nations Children's Fund","ror":"https://ror.org/02dg0pv02","country_code":"US","type":"funder","lineage":["https://openalex.org/I112289208","https://openalex.org/I1286959531"]},{"id":"https://openalex.org/I4210095825","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - San Juan","ror":"https://ror.org/00kwm3d29","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210095825","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I4210134950","display_name":"Asociaci\u00f3n por los Derechos Civiles","ror":"https://ror.org/04assc746","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I4210134950"]}],"countries":["AR","US"],"is_corresponding":false,"raw_author_name":"Pablo Castro","raw_affiliation_strings":["Departamento de Computaci\u00f3n, FCEFQyN, UNRC, Argentina","Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Argentina","Secci\u00f3n de Computaci\u00f3n, FaMAF, UNC, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEFQyN, UNRC, Argentina","institution_ids":["https://openalex.org/I112289208"]},{"raw_affiliation_string":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas, Argentina","institution_ids":["https://openalex.org/I4210095825"]},{"raw_affiliation_string":"Secci\u00f3n de Computaci\u00f3n, FaMAF, UNC, Argentina","institution_ids":["https://openalex.org/I4210134950"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5022706489"],"corresponding_institution_ids":["https://openalex.org/I112289208","https://openalex.org/I4210095825","https://openalex.org/I4210134950"],"apc_list":null,"apc_paid":null,"fwci":0.3384,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70521372,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"57","issue":null,"first_page":"196","last_page":"177"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.998199999332428,"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.996999979019165,"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.8454955816268921},{"id":"https://openalex.org/keywords/deontic-logic","display_name":"Deontic logic","score":0.7355520725250244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6893033385276794},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.5796365141868591},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.45297473669052124},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.4444279670715332},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42163974046707153},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.41193562746047974},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4094884991645813},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3350278437137604},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.29757899045944214},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.21630579233169556},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1951913833618164},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.10836315155029297}],"concepts":[{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.8454955816268921},{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.7355520725250244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6893033385276794},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.5796365141868591},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.45297473669052124},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4444279670715332},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42163974046707153},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.41193562746047974},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4094884991645813},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3350278437137604},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.29757899045944214},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.21630579233169556},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1951913833618164},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.10836315155029297},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/swdn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/swdn","pdf_url":"https://easychair.org/publications/open/Zn7P","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/swdn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/swdn","pdf_url":"https://easychair.org/publications/open/Zn7P","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2907525544.pdf","grobid_xml":"https://content.openalex.org/works/W2907525544.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W3296631","https://openalex.org/W37537225","https://openalex.org/W151947385","https://openalex.org/W593005562","https://openalex.org/W594814077","https://openalex.org/W1481558202","https://openalex.org/W1483339275","https://openalex.org/W1485377267","https://openalex.org/W1526544135","https://openalex.org/W1547138185","https://openalex.org/W1596067335","https://openalex.org/W1767865886","https://openalex.org/W1870419269","https://openalex.org/W1881301291","https://openalex.org/W1976639815","https://openalex.org/W1997714358","https://openalex.org/W2005225332","https://openalex.org/W2016171120","https://openalex.org/W2025243709","https://openalex.org/W2044169892","https://openalex.org/W2054586516","https://openalex.org/W2059488340","https://openalex.org/W2067803913","https://openalex.org/W2078926321","https://openalex.org/W2109523922","https://openalex.org/W2124620840","https://openalex.org/W2129289644","https://openalex.org/W2155322595","https://openalex.org/W2159141531","https://openalex.org/W2162068502","https://openalex.org/W2164389533","https://openalex.org/W2235995182","https://openalex.org/W2250364887","https://openalex.org/W2510334643","https://openalex.org/W2513840768","https://openalex.org/W2758969507","https://openalex.org/W4210672399","https://openalex.org/W6617949148","https://openalex.org/W6676108856","https://openalex.org/W6737446111"],"related_works":["https://openalex.org/W1526931790","https://openalex.org/W174517240","https://openalex.org/W1560215806","https://openalex.org/W1660287273","https://openalex.org/W2020153579","https://openalex.org/W2175438028","https://openalex.org/W165103996","https://openalex.org/W2076386122","https://openalex.org/W1988496255","https://openalex.org/W2013098708"],"abstract_inverted_index":{"In":[0,74],"this":[1,11],"paper":[2],"we":[3,76],"introduce":[4],"a":[5,34],"prioritized":[6],"default":[7,22],"logic.":[8,95],"We":[9,53],"build":[10],"logic":[12],"modularly":[13],"from":[14,71],"Standard":[15],"Deontic":[16],"Logic":[17],"by":[18],"the":[19,57,64],"addition":[20],"of":[21,60,66],"rules":[23],"and":[24,43,47,51,55,69,80,90],"priorities":[25],"among":[26],"them.":[27],"Our":[28],"main":[29],"aim":[30],"is":[31],"to":[32,37],"provide":[33],"logical":[35],"framework":[36],"reason":[38],"about":[39],"scenarios":[40],"where":[41],"prescriptive":[42],"descriptive":[44],"statements":[45],"coexist":[46],"may":[48],"be":[49],"incomplete":[50],"contradictory.":[52],"motivate":[54],"illustrate":[56],"technical":[58],"elements":[59],"our":[61,94],"work":[62],"with":[63],"use":[65],"examples":[67],"(classical,":[68],"coming":[70],"software":[72],"engineering).":[73],"addition,":[75],"present":[77],"sound,":[78],"complete,":[79],"terminating":[81],"(with":[82],"loop":[83],"check)":[84],"tableau-based":[85],"proof":[86],"calculi":[87],"for":[88],"credulous":[89],"sceptical":[91],"reasoning":[92],"in":[93]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}