Deontic meta-rules
The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Co...
Saved in:
Main Authors: | OLIVIERI, Francesco, GOVERNATORI, Guido, CRISTANI, Matteo, ROTOLO, Antonino, SATTAR, Abdul |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2023
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/cclaw/8 https://ink.library.smu.edu.sg/context/cclaw/article/1007/viewcontent/2209.12655.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Traffic rule formalization for autonomous vehicle
by: BHUIYAN, Hanif, et al.
Published: (2022) -
Traffic rule formalization for autonomous vehicle
by: BHUIYAN, Hanif, et al.
Published: (2022) -
Driving-decision making of autonomous vehicle according to Queensland overtaking traffic rules
by: BHUIYAN, Hanif, et al.
Published: (2022) -
Zagzebski on rationality
by: RYAN, Shane, et al.
Published: (2014) -
Analytical Thinking Skills for Math Workbook
by: NOWACKI, Mark, et al.
Published: (2013)