MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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

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