Researcher profile

Matthias Armgardt

1 paper in the PaperMetrix corpus

Publications

Papers by this author

Reasoning about conditions in STIT logic

2018 · HAL (Le Centre pour la Communication Scientifique Directe)

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 …