MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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
#YearTitleType
1
Show details for SchäfSchäf
1
Show details for SchlobachSchlobach
9
Hide details for SchmidtSchmidt
2000Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180		Part of a Book
1999Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396		Journal Article
1998E-Unification for Subsystems of S4
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 106-120		Proceedings Article
1998Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208		Part of a Book
1997Optimised Modal Translation and Resolution
Universität des Saarlandes		Thesis - PhD thesis
1994Peirce 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
1994Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27		Journal Article
1994Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136		Proceedings Article
1993Terminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371		Proceedings Article
1
Show details for Schmidt, HustadtSchmidt, Hustadt
1
Show details for Schmidt, Orłowska, HustadtSchmidt, Orłowska, Hustadt
4
Show details for Schmidt, TishkovskySchmidt, Tishkovsky
2
Show details for Schmidt, Tishkovsky, HustadtSchmidt, Tishkovsky, Hustadt
1
Show details for SchmolziSchmolzi
1
Show details for She, RatschanShe, Ratschan
1
Show details for She, Xia, XiaoShe, Xia, Xiao
1
Show details for Simon, Freiheit, OlbrichSimon, Freiheit, Olbrich
1
Show details for SmausSmaus
8
Show details for Socher-AmbrosiusSocher-Ambrosius
27
Show details for Sofronie-StokkermansSofronie-Stokkermans
1
Show details for Sofronie-Stokkermans, StokkermansSofronie-Stokkermans, Stokkermans
4
Show details for StruthStruth
9
Show details for StuberStuber
1
Show details for SuchanekSuchanek
2
Show details for TalbotTalbot
1
Show details for Talbot, Devienne, TisonTalbot, Devienne, Tison
1
Show details for Talbot, Niehren, MüllerTalbot, Niehren, Müller

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)