Author/Editor [Non Institute] | Year | | Title | Type |
Schäf
[-] | 2006 | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Thesis - Masters thesis |
Schlobach
[-] | 1996 | | Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes | Thesis - Masters thesis |
Schmidt
(Ed: Böttner, Thümmel)
[Böttner, Thümmel] | 2000 | | Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180 | Part of a Book |
Schmidt
(Ed: Brink, Schmidt)
[-] | 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 |
Schmidt
(Ed: Kracht, de Rijke, Wansing, Zakharyaschev)
[Kracht, de Rijke, Wansing, Zakharyaschev] | 1998 | | Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208 | Part of a Book |
Schmidt
(Ed: Kunze, Stoyan)
[-] | 1994 | | Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136 | Proceedings Article |
Schmidt
(Ed: Nipkow)
[Nipkow] | 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 |
Schmidt
(Ed: Ohlbach)
[-] | 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 |
Schmidt
[-] | 1999 | | Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396 | Journal Article |
Schmidt
[-] | 1997 | | Optimised Modal Translation and Resolution
Universität des Saarlandes | Thesis - PhD thesis |
Schmidt
[-] | 1994 | | Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27 | Journal Article |
Schmidt, Hustadt
(Ed: Baader)
[-] | 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 |
Schmidt, Orłowska, Hustadt
(Ed: Berghammer, Möller, Struth)
[-] | 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 |
Schmidt, Tishkovsky
(Ed: Balbiani, Suzuki, Wolter, Zakharyaschev)
[Schmidt, Tishkovsky] | 2003 | | Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | Part of a Book |
Schmidt, Tishkovsky
(Ed: Flesca, Greco, Leone, Ianni)
[-] | 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 |
Schmidt, Tishkovsky
[-] | 2004 | | Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36 | Journal Article |
Schmidt, Tishkovsky
[Schmidt, Tishkovsky] | 2003 | | Multi-Agent Logic of Dynamic Belief and Knowledge | Unpublished/Draft |
Schmidt, Tishkovsky, Hustadt
[-] | 2004 | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415 | Journal Article |
Schmidt, Tishkovsky, Hustadt
[Schmidt, Tishkovsky, Hustadt] | 2002 | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | Unpublished/Draft |
Schmolzi
[-] | 1999 | | Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes | Thesis - Masters thesis |
She, Ratschan
[-] | 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 |
She, Xia, Xiao
(Ed: Kovalerchuk)
[-] | 2006 | | A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12 | Proceedings Article |
Simon, Freiheit, Olbrich
(Ed: Nüttgens, Rump, Mendling)
[-] | 2006 | | Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article |
Smaus
[-] | 1996 | | Finding Resolution K-Transformations
Universität des Saarlandes | Thesis - Masters thesis |
Socher-Ambrosius
(Ed: Book)
[-] | 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 |
Socher-Ambrosius
(Ed: Bundy)
[-] | 1994 | | A Refined Version of General E-Unification
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677 | Proceedings Article |
Socher-Ambrosius
(Ed: Kirchner, Levi)
[-] | 1992 | | A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445 | Proceedings Article |
Socher-Ambrosius
(Ed: Voronkov)
[-] | 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 |
Socher-Ambrosius
[-] | 1992 | | How to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336 | Journal Article |
Socher-Ambrosius
[-] | 1991 | | On the Church-Rosser Property in Left-Linear Systems | Report |