1 |
| Scannapieco, Monica (ed.) |
| |
| | 2004 | Schmidt, Renate A.
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415 | Journal Article | |
| | 2004 | Schmidt, Renate A.
[Tishkovsky, Dmitry] | | Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36 | Journal Article | |
| | 2004 | [Goranko, Valentin]
[Hustadt, Ullrich]
Schmidt, Renate A.
[Vakarelov, Dimiter] | | SCAN is complete for all Sahlqvist formulae
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 149-162 | Proceedings Article | |
| | 2003 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | Part of a Book | |
| | 2003 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | Multi-Agent Logic of Dynamic Belief and Knowledge | Unpublished/Draft | |
| | 2002 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | | A New Clausal Class Decidable by Hyperresolution | Report | |
| | 2002 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | | A New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274 | Proceedings Article | |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | Unpublished/Draft | |