Suche
Kategorie
JGU Mainz (85497)
HS Trier (4051)
4051 Treffer
×
Hochschule Trier
- Bläsius, Karl Hans; Ohlbach, H.J.
- Das Problem der Gleichheit. (The Equality Problem.)
- Deduktionssysteme, Automatisierung des logischen Denkens. Oldenbourg Verlag 1987
- Bläsius, Karl Hans
- Allgemeine Gleichheitsverfahren. (General Equality Procedures.)
- Deduktionssysteme, Automatisierung des logischen Denkens. Oldenbourg Verlag 1987
- Siekmann, Jörg H.; Bläsius, Karl Hans
- Computergestützte Frühwarn- und Entscheidungssysteme
- 1985 S. 90 - 96
- Bläsius, Karl Hans; Siekmann, J.
- Partial Unification for Graph Based Equational Reasoning
- Proceedings International Conference on Automated Deduction. 1988
- Bläsius, Karl Hans; Hedtstück, U.
- Resolution with Feature Graphs
- E. Börger, H. Kleine Büning, M.M. Richter (Hrsg). CSL ’87. Proceedings 1st Workshop on Computer Science Logic. Springer Verlag 1988
- Bläsius, Karl Hans; Bürckert, H.J.
- Deductionsystems in Artificial Intelligence
- Chinchester: Ellis Horwood 1989
- Bläsius, Karl Hans
- Sorts and Types in Artificial Intelligence
- 1990 (Lecture Notes in Computer Science ; 418)
- Bläsius, Karl Hans; Rollinger, C.R.; Siekmann, J.H.
- Structure and Control of the Inference System for L-LILOG
- K.H. Bläsius, U. Hedtstück, C.R. Rollinger (Hrsg). Sorts and Types in Artificial Intelligence. Proceedings of the Workshop on Sorts and Types in AI, LNAI-418. Sringer Verlag 1990
- Bollinger, T.; Bläsius, Karl Hans; Hedtstück, U.
- Knowledge Processing in the LILOG-Project – From the first to the second Prototype
- R. Studer (Hrsg). Natural Language and Logic. LNAI-459. Springer Verlag 1990
- Bläsius, Karl Hans
- Knowledge Based Control of the LILOG Inference Engine: Kinds of Metaknowledge
- O. Herzog, C.R. Rollinger (Hrsg). Text Understanding in LILOG, Integration Computational Linguistics and Artificial Intelligence. LNAI-546. Springer Verlag 1991