Torre, Leendert van der
Leon van der Torre Nederlands logicus
Torre, Leendert Willem Nicolaas van der, 1968-
Torre, Leon van der 1968-
VIAF ID: 2146937682013830182 ( Personal )
Permalink: http://viaf.org/viaf/2146937682013830182
Preferred Forms
- 100 0 _ ‡a Leon van der Torre ‡c Nederlands logicus
-
-
- 100 1 _ ‡a Torre, Leendert van der
-
- 100 1 _ ‡a Torre, Leendert van der
-
- 100 1 _ ‡a Torre, Leendert van der
- 100 1 _ ‡a Torre, Leon van der ‡d 1968-
4xx's: Alternate Name Forms (17)
Works
Title | Sources |
---|---|
Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation | |
Argumentation frameworks for constructing and evaluating deductive mathematical proofs. | |
Argumentation In Flux (Modélisation du changement dans la théorie de l'argumentation). | |
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings | |
[Delta]EON 2008 | |
Deontic logic in computer science, c2008: | |
Handbook of deontic logic and normative systems | |
Handbook of formal argumentation | |
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings | |
Reasoning about obligations : defeasibility in preference-based deontic logic | |
Techniques d'argumentation pour les règles existentielles. |