Armgardt, Matthias and Lorini, Emiliano and Sartor, Giovanni
Reasoning about conditions in STIT logic.
(2018)
In: 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), 3 July 2018 - 6 July 2018 (Utrecht, Netherlands).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 735kB |
Abstract
In this paper we propose a logical formalization of the legal concepts of suspensive and resolutive conditions within the STIT approach to action. At the technical level, our proposal consists in extending the STIT language with a special operator that allows us to represent the concept of a presumption. This enables us to model the retroactive effect of conditions.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
HAL Id: | hal-02382731 |
Audience (conference): | International conference proceedings |
Uncontrolled Keywords: | |
Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) Other partners > Universität Konstanz (GERMANY) Other partners > Università di Bologna (ITALY) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 22 Nov 2019 08:19 |
Repository Staff Only: item control page