BibTeX cite key | Author/Editor | Year | | Title | Type |
Schaef2005 | Schäf, Martin | 2006 | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Thesis - Masters thesis |
Schlobach97 | Schlobach, Stefan | 1996 | | Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes | Thesis - Masters thesis |
Schmidt92a | Schmidt, Renate A. | 1993 | | Terminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371 | Proceedings Article |
Schmidt94 | Schmidt, Renate A. | 1994 | | Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), 21-22 | Proceedings Article |
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 |