Old Web
English
Sign In
Acemap
>
Paper
>
Goal-Directed Decision Procedures for Input/Output Logics
Goal-Directed Decision Procedures for Input/Output Logics
2021
Alexander Steen
Keywords:
Artificial intelligence
normative reasoning
Automated reasoning
Deontic logic
Input/output
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
4
References
2
Citations
NaN
KQI
[]