The following pages link to (Q5869572):
Displaying 4 items.
- Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments (Q3305694) (← links)
- Automating Leibniz’s Theory of Concepts (Q3454082) (← links)