| BibTeX cite key | Author/Editor | Year | | Title | Type |
|---|
| Schmidt94a | Schmidt, Renate A. | 1994 | | Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27 | Journal Article |
| Schmidt94b | Schmidt, Renate A. | 1994 | | Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136 | Proceedings Article |
| Schmidt97a | Schmidt, Renate A. | 2000 | | Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180 | Part of a Book |
| Schmidt97d | Schmidt, Renate A. | 1997 | | Optimised Modal Translation and Resolution
Universität des Saarlandes | Thesis - PhD thesis |
| Schmidt98c | Schmidt, Renate A. | 1998 | | E-Unification for Subsystems of S4
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 106-120 | Proceedings Article |
| Schmidt98f | Schmidt, Renate A. | 1998 | | Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208 | Part of a Book |
| Schmidt99a | Schmidt, Renate A. | 1999 | | Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396 | Journal Article |
| SchmidtHustadt03b | Schmidt, Renate A.
Hustadt, Ullrich | 2003 | | 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 |
| SchmidtOrlowskaHustadt04a | Schmidt, Renate A.
Orłowska, Ewa
Hustadt, Ullrich | 2004 | | 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 |
| SchmidtTishkovsky02c | Schmidt, Renate A.
Tishkovsky, Dmitry | 2002 | | Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49 | Proceedings Article |
| SchmidtTishkovsky02e | Schmidt, Renate A.
Tishkovsky, Dmitry | 2003 | | Multi-Agent Logic of Dynamic Belief and Knowledge | Unpublished/Draft |
| SchmidtTishkovsky03a | Schmidt, Renate A.
Tishkovsky, Dmitry | 2003 | | Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | Part of a Book |
| SchmidtTishkovsky03c | Schmidt, Renate A.
Tishkovsky, Dmitry | 2004 | | Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36 | Journal Article |
| SchmidtTishkovskyHustadt02a | Schmidt, Renate A.
Tishkovsky, Dmitry
Hustadt, Ullrich | 2002 | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | Unpublished/Draft |
| SchmidtTishkovskyHustadt04a | Schmidt, Renate A.
Tishkovsky, Dmitry
Hustadt, Ullrich | 2004 | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415 | Journal Article |
| Schmolzi-Diplom99 | Schmolzi, Christian | 1999 | | Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes | Thesis - Masters thesis |
| She2005 | Ratschan, Stefan
She, Zhikun | 2006 | | Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Proceedings Article |
| She2005b | She, Zhikun
Ratschan, Stefan | 2006 | | Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
In: 4th IEEE International Conference on Computational Cybernetics, 245-249 | Proceedings Article |
| She2006b | She, Zhikun
Xia, Bican
Xiao, Rong | 2006 | | A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12 | Proceedings Article |
| Smaus96 | Smaus, Jan-Georg | 1996 | | Finding Resolution K-Transformations
Universität des Saarlandes | Thesis - Masters thesis |
| socher91a | Socher-Ambrosius, Rolf | 1991 | | Boolean Algebra Admits no Convergent Term Rewriting System
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA-91), 264-274 | Proceedings Article |
| socher91b | Socher-Ambrosius, Rolf | 1991 | | Optimizing the Clausal Normal Form Transformation
In: Journal of Automated Reasoning [7], 325-336 | Journal Article |
| socher91c | Socher-Ambrosius, Rolf | 1991 | | On the Relation Between Completion Based and Resolution Based Theorem Proving
In: Journal of Symbolic Computation [11], 129-148 | Journal Article |
| socher91d | Socher-Ambrosius, Rolf | 1991 | | On the Church-Rosser Property in Left-Linear Systems | Report |
| socher92a | Socher-Ambrosius, Rolf | 1992 | | A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445 | Proceedings Article |
| socher92b | Socher-Ambrosius, Rolf | 1992 | | How to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336 | Journal Article |
| Socher93a | Socher-Ambrosius, Rolf | 1993 | | Unification in Order-Sorted Logic with Term Declarations
In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), 301-308 | Proceedings Article |
| socher94a | Socher-Ambrosius, Rolf | 1994 | | A Refined Version of General E-Unification
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677 | Proceedings Article |
| Sofronie-cade-05 | Sofronie-Stokkermans, Viorica | 2005 |  | Hierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | Proceedings Article |
| Sofronie-ijcar-06 | Sofronie-Stokkermans, Viorica | 2006 | | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | Proceedings Article |
