{"id":"https://openalex.org/W3210157921","doi":"https://doi.org/10.3233/faia210336","title":"Timed Dyadic Deontic Logic","display_name":"Timed Dyadic Deontic Logic","publication_year":2021,"publication_date":"2021-12-02","ids":{"openalex":"https://openalex.org/W3210157921","doi":"https://doi.org/10.3233/faia210336","mag":"3210157921"},"language":"en","primary_location":{"id":"doi:10.3233/faia210336","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia210336","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA210336","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA210336","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031828495","display_name":"Karam Kharraz","orcid":"https://orcid.org/0000-0002-6908-1756"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Karam Younes Kharraz","raw_affiliation_strings":["ISP, University of L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"ISP, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002397514","display_name":"Martin Leucker","orcid":"https://orcid.org/0000-0002-3696-9222"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Leucker","raw_affiliation_strings":["ISP, University of L\u00fcbeck, Germany"],"affiliations":[{"raw_affiliation_string":"ISP, University of L\u00fcbeck, Germany","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051084250","display_name":"Gerardo Schneider","orcid":"https://orcid.org/0000-0003-0629-6853"},"institutions":[{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Gerardo Schneider","raw_affiliation_strings":["University of Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5031828495"],"corresponding_institution_ids":["https://openalex.org/I9341345"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23397954,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6164000034332275,"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.6164000034332275,"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/deontic-logic","display_name":"Deontic logic","score":0.9128121137619019},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.6965728402137756},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4884756803512573},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.46924591064453125},{"id":"https://openalex.org/keywords/communication","display_name":"Communication","score":0.37674450874328613},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32010379433631897},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.28860023617744446},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.27094870805740356},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2218073010444641},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.18301567435264587},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.10332560539245605}],"concepts":[{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.9128121137619019},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.6965728402137756},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4884756803512573},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.46924591064453125},{"id":"https://openalex.org/C46312422","wikidata":"https://www.wikidata.org/wiki/Q11024","display_name":"Communication","level":1,"score":0.37674450874328613},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32010379433631897},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.28860023617744446},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.27094870805740356},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2218073010444641},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.18301567435264587},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.10332560539245605}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/faia210336","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia210336","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA210336","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:3210157921","is_oa":false,"landing_page_url":"https://easychair.org/publications/preprint/36BD","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.3233/faia210336","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia210336","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA210336","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3210157921.pdf","grobid_xml":"https://content.openalex.org/works/W3210157921.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2897781668","https://openalex.org/W1981874543","https://openalex.org/W2318747870","https://openalex.org/W2899037736","https://openalex.org/W1165695302","https://openalex.org/W2747557359","https://openalex.org/W2601859790","https://openalex.org/W2054617207","https://openalex.org/W2171536858","https://openalex.org/W2084458900","https://openalex.org/W1551750452","https://openalex.org/W1497241821","https://openalex.org/W1574675058","https://openalex.org/W2487966033","https://openalex.org/W2115236745","https://openalex.org/W582169644","https://openalex.org/W2747780841","https://openalex.org/W3038844671","https://openalex.org/W1575239977","https://openalex.org/W2997861965"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"introduce":[4],"TDDL,":[5],"a":[6,15,18,30,41,69],"timed":[7,58],"dyadic":[8,19],"deontic":[9,20],"logic.":[10],"Our":[11],"starting":[12],"point":[13],"is":[14],"version":[16],"of":[17,51,65,77,82],"logic":[21],"with":[22,29,57],"conditional":[23],"obligations,":[24,27],"permissions,":[25],"and":[26,28,36,54,75,79],"\u201creparation\u201d":[31],"operator":[32,43],"for":[33],"representing":[34],"contrary-to-duties":[35],"contrary-to-prohibitions.":[37],"We":[38,67],"also":[39],"consider":[40],"sequence":[42],"allowing":[44,60],"us":[45,61],"to":[46,62],"define":[47],"norms":[48,53,78],"as":[49],"sequences":[50],"individual":[52],"most":[55],"importantly":[56],"intervals,":[59],"express":[63],"deadlines":[64],"norms.":[66],"provide":[68],"trace":[70],"semantics":[71],"capturing":[72],"both":[73],"satisfaction":[74],"violation":[76],"discuss":[80],"fulfillment":[81],"TDDL":[83],"specifications.":[84]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}