Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # |  | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 2 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 2 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 36 |
| | ||||||||
| 2004 | [Goranko, Valentin] [Hustadt, Ullrich] Schmidt, Renate A. [Vakarelov, Dimiter] | [Berghammer, Rudolf] [Möller, Bernhard] [Struth, Georg] | 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 | | |||||
| | 2004 | Schmidt, Renate A. Orłowska, Ewa [Hustadt, Ullrich] | [Berghammer, Rudolf] [Möller, Bernhard] [Struth, Georg] | Two Proof Systems for Peirce Algebras 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, 238-251 | Proceedings 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 | 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 | | |||
| 2003 | Schmidt, Renate A. [Hustadt, Ullrich] | [Baader, Franz] | A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 412-426 | Proceedings Article | | |||||
| | 2003 | [Schmidt, Renate A.] [Tishkovsky, Dmitry] | | Multi-Agent Logic of Dynamic Belief and Knowledge | Unpublished/Draft | | |||
| 2003 | [Schmidt, Renate A.] [Tishkovsky, Dmitry] | [Balbiani, Philippe] [Suzuki, Nobu-Yuki] [Wolter, Frank] [Zakharyaschev, Michael] | Combining Dynamic Logic and Doxastic Modal Logics In: Advances in Modal Logic, 371-391 | Part of a Book | | |||||
| | 2002 | [Georgieva, Lilia] [Hustadt, Ullrich] [Schmidt, Renate A.] | | A New Clausal Class Decidable by Hyperresolution | Report | | |||
| 2002 | [Georgieva, Lilia] [Hustadt, Ullrich] [Schmidt, Renate A.] | [Horrocks, Ian] [Tessaris, Sergio] | On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36 | Proceedings Article | | |||||
| | 2002 | [Georgieva, Lilia] [Hustadt, Ullrich] [Schmidt, Renate A.] | [Voronkov, Andrei] | A New Clausal Class Decidable by Hyperresolution In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274 | Proceedings Article | | |||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)