Abstract | ||
---|---|---|
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL- clauses, such that it can be processed by Hyper, a high performance theorem prover which uses a hypertableau calculus. Two use cases, one from multi-agent research and one from the development of normative system are investigated. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-13365-2_6 | MIWAI |
DocType | Volume | Citations |
Journal | abs/1411.4823 | 6 |
PageRank | References | Authors |
0.52 | 17 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ulrich Furbach | 1 | 639 | 88.23 |
Claudia Schon | 2 | 7 | 2.90 |
Frieder Stolzenburg | 3 | 263 | 31.54 |