{"id":"https://openalex.org/W3081416561","doi":"https://doi.org/10.24963/kr.2020/26","title":"Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus","display_name":"Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3081416561","doi":"https://doi.org/10.24963/kr.2020/26","mag":"3081416561"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/26","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/26","pdf_url":"https://proceedings.kr.org/2020/26/kr2020-0026-classen-et-al.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/26/kr2020-0026-classen-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046802692","display_name":"Jens Cla\u00dfen","orcid":"https://orcid.org/0000-0002-0395-1907"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Jens Cla\u00dfen","raw_affiliation_strings":["Simon Fraser University"],"affiliations":[{"raw_affiliation_string":"Simon Fraser University","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002046734","display_name":"James P. Delgrande","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"James Delgrande","raw_affiliation_strings":["Simon Fraser University"],"affiliations":[{"raw_affiliation_string":"Simon Fraser University","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046802692"],"corresponding_institution_ids":["https://openalex.org/I18014758"],"apc_list":null,"apc_paid":null,"fwci":0.1359,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55840741,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"253","last_page":"263"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9977999925613403,"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.9835000038146973,"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.99265456199646},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.609196126461029},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.5266380310058594},{"id":"https://openalex.org/keywords/obligation","display_name":"Obligation","score":0.47830989956855774},{"id":"https://openalex.org/keywords/deliberation","display_name":"Deliberation","score":0.46832993626594543},{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.4602040946483612},{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.4556846618652344},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.45505979657173157},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.42936229705810547},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4288700819015503},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3694345951080322},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.21560415625572205},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.12403401732444763},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.1024109423160553}],"concepts":[{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.99265456199646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.609196126461029},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.5266380310058594},{"id":"https://openalex.org/C2778447849","wikidata":"https://www.wikidata.org/wiki/Q2648051","display_name":"Obligation","level":2,"score":0.47830989956855774},{"id":"https://openalex.org/C2776946740","wikidata":"https://www.wikidata.org/wiki/Q358652","display_name":"Deliberation","level":3,"score":0.46832993626594543},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.4602040946483612},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.4556846618652344},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.45505979657173157},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.42936229705810547},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4288700819015503},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3694345951080322},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.21560415625572205},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.12403401732444763},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.1024109423160553},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2020/26","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/26","pdf_url":"https://proceedings.kr.org/2020/26/kr2020-0026-classen-et-al.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/26","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/26","pdf_url":"https://proceedings.kr.org/2020/26/kr2020-0026-classen-et-al.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5600000023841858}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3081416561.pdf","grobid_xml":"https://content.openalex.org/works/W3081416561.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W203496657","https://openalex.org/W594814077","https://openalex.org/W1262127546","https://openalex.org/W1488489855","https://openalex.org/W1489876573","https://openalex.org/W1500679563","https://openalex.org/W1574590689","https://openalex.org/W1585856642","https://openalex.org/W1596067335","https://openalex.org/W1603374810","https://openalex.org/W1963481439","https://openalex.org/W1972568059","https://openalex.org/W1973391999","https://openalex.org/W1975264039","https://openalex.org/W2015209298","https://openalex.org/W2017014477","https://openalex.org/W2021916230","https://openalex.org/W2031280719","https://openalex.org/W2038809129","https://openalex.org/W2045474169","https://openalex.org/W2077403477","https://openalex.org/W2080142817","https://openalex.org/W2080267935","https://openalex.org/W2083234808","https://openalex.org/W2108801036","https://openalex.org/W2138162238","https://openalex.org/W2138337462","https://openalex.org/W2154752935","https://openalex.org/W2166325725","https://openalex.org/W2167907160","https://openalex.org/W2169033759","https://openalex.org/W2567068011","https://openalex.org/W2758969507","https://openalex.org/W2951194575","https://openalex.org/W2971559925","https://openalex.org/W2974063080","https://openalex.org/W3081168039","https://openalex.org/W4205678468","https://openalex.org/W4236639299","https://openalex.org/W4245843695","https://openalex.org/W4285719527","https://openalex.org/W4301786641","https://openalex.org/W6629097408","https://openalex.org/W6629795760","https://openalex.org/W6634922135","https://openalex.org/W6635697487","https://openalex.org/W6636116267","https://openalex.org/W6643383811","https://openalex.org/W6643664566","https://openalex.org/W6670117659","https://openalex.org/W6676762652","https://openalex.org/W6684472075","https://openalex.org/W6745179323","https://openalex.org/W6763789284","https://openalex.org/W6767529878","https://openalex.org/W6767548313","https://openalex.org/W6884753825"],"related_works":["https://openalex.org/W2098238158","https://openalex.org/W1538968729","https://openalex.org/W593005562","https://openalex.org/W2949837154","https://openalex.org/W2151043294","https://openalex.org/W1605853418","https://openalex.org/W2579527457","https://openalex.org/W1485377267","https://openalex.org/W1619889419","https://openalex.org/W4400517011"],"abstract_inverted_index":{"With":[0],"the":[1,28,35,63,68,155,190,195,208,216],"advent":[2],"of":[3,24,37,110,126,149,167],"artificial":[4],"agents":[5,14],"in":[6,34,134,142],"everyday":[7],"life,":[8],"it":[9],"is":[10,55,66,136],"important":[11],"that":[12,54,151,162,206],"these":[13,86],"are":[15],"guided":[16],"by":[17,89,100],"social":[18],"norms":[19],"and":[20,27,71,79,179,219],"moral":[21],"guidelines.":[22],"Notions":[23],"obligation,":[25],"permission,":[26],"like":[29],"have":[30],"traditionally":[31],"been":[32],"studied":[33,73],"field":[36],"Deontic":[38],"Logic,":[39],"where":[40],"deontic":[41,91,102,156,169,191],"assertions":[42,103],"generally":[43],"refer":[44,57],"to":[45,58,114,138,154,202],"what":[46],"an":[47,140,204],"agent":[48,141,205],"should":[49,51],"or":[50],"not":[52],"do;":[53],"they":[56],"actions.":[59],"In":[60,81],"Artificial":[61],"Intelligence,":[62],"Situation":[64,94,196],"Calculus":[65,95,197],"(arguably)":[67],"best":[69,153],"known":[70],"most":[72],"formalism":[74],"for":[75],"reasoning":[76,218],"about":[77],"action":[78,150,198],"change.":[80],"this":[82,99],"paper,":[83],"we":[84],"integrate":[85],"two":[87],"areas":[88],"incorporating":[90],"notions":[92],"into":[93,194],"theories.":[96],"We":[97,158,184],"do":[98],"considering":[101],"as":[104,107,118,201],"constraints,":[105],"expressed":[106,117],"a":[108,124,147,160,164],"set":[109],"conditionals,":[111],"which":[112],"apply":[113],"complex":[115],"actions":[116],"GOLOG":[119],"programs.":[120],"These":[121],"constraints":[122,192],"induce":[123],"ranking":[125,133],"\"ideality\"":[127],"over":[128],"possible":[129],"future":[130],"situations.":[131],"This":[132],"turn":[135],"used":[137],"guide":[139],"its":[143],"planning":[144,220],"deliberation,":[145],"towards":[146],"course":[148],"adheres":[152],"constraints.":[157],"present":[159,186],"formalization":[161],"includes":[163],"wide":[165],"class":[166],"(dyadic)":[168],"assertions,":[170],"lets":[171],"us":[172],"distinguish":[173],"prima":[174],"facie":[175],"from":[176],"all-things-considered":[177],"obligations,":[178],"particularly":[180],"addresses":[181],"contrary-to-duty":[182],"scenarios.":[183],"furthermore":[185],"results":[187],"on":[188,215],"compiling":[189],"directly":[193],"theory,":[199],"so":[200],"obtain":[203],"respects":[207],"given":[209],"norms,":[210],"but":[211],"works":[212],"solely":[213],"based":[214],"standard":[217],"techniques.":[221]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}