Prof. Dr. rer. nat. Karl Hans Bläsius
Informatik, Hochschule Trier
- 0651/8103-344
Bläsius, Karl Hans
SEEBURGER nutzt KI-Methoden zur RechungsautomatisierungKünstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 2005. H. 4. Bremen: Böttcher IT-Verl. 2005 S. 58 - 59
Arens, A.; Bläsius, Karl Hans
Domain-oriented Information Extraction from the Internet, in Tapas KanungoElisa H. Barney Smith, Jianying Hu, Paul B. Kantor (Hrsg). Proceedings SPIE. H. 5010. Electronic Imaging 2003, Document Recognition and Retrieval X, Santa Clara, California, USA. 2003
Bläsius, Karl Hans; Grawemeyer, B.; John, I. et al.
Knowledge-Based Document AnalysisProceedings of the International Conference on Document Analysis and Retrieval (ICDAR), Ulm. 1997
Bläsius, Karl Hans; Grawemeyer, B.; John, I. et al.
Knowledge-Based Interpretation of Business LettersProceedings Workshop "Knowledge-Based Systems for Enterprise Knowledge Management" der KI-97, Freiburg. 1997
Bläsius, Karl Hans; Hönes, F.
A Mechanisms for Generating Image Analysis AlgorithmsProceedings Workshops KI-95. 1995
Bläsius, Karl Hans
Knowledge Based Control of the LILOG Inference Engine: Kinds of MetaknowledgeO. Herzog, C.R. Rollinger (Hrsg). Text Understanding in LILOG, Integration Computational Linguistics and Artificial Intelligence. LNAI-546. Springer Verlag 1991
Bollinger, T.; Bläsius, Karl Hans; Hedtstück, U.
Knowledge Processing in the LILOG-Project – From the first to the second PrototypeR. Studer (Hrsg). Natural Language and Logic. LNAI-459. Springer Verlag 1990
Bläsius, Karl Hans
Sorts and Types in Artificial Intelligence1990 (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-LILOGK.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
Bläsius, Karl Hans; Bürckert, H.J.
Deductionsystems in Artificial IntelligenceChinchester: Ellis Horwood 1989
Bläsius, Karl Hans; Siekmann, J.
Partial Unification for Graph Based Equational ReasoningProceedings International Conference on Automated Deduction. 1988
Bläsius, Karl Hans; Hedtstück, U.
Resolution with Feature GraphsE. 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
Allgemeine Gleichheitsverfahren. (General Equality Procedures.)Deduktionssysteme, Automatisierung des logischen Denkens. Oldenbourg Verlag 1987
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 H.
Deduktionssysteme : Automatisierung des logischen DenkensMünchen [u.a.]: Oldenbourg 1987 0 S.
Bayer, T.; Bläsius, Karl Hans
Regelgesteuerte Zeichenerkennung und DokumentanalyseProceedings der Tagung der Deutschen Arbeitsgemeinschaft für Mustererkennung (DAGM). 1987
Bläsius, Karl-Hans
Construction of equality graphsKaiserslautern: Fachb. Informatik, Univ. 1986 23 S. (Seki Report. SR ; 86,1)
Bläsius, Karl Hans
Equality reasoning based on graphs1986 162 S.
Bläsius, Karl Hans
Versus the "Anti Walz Effect" in Equality ReasoningProceedings German Workshop on Artificial Intelligence. 1986
Siekmann, Jörg H.; Bläsius, Karl Hans
Computergestützte Frühwarn- und Entscheidungssysteme1985 S. 90 - 96
Bläsius, Karl Hans
Equality Reasoning with Equality-pathsProceedings German Workshop on Artificial Intelligence. 1985
Bläsius, Karl Hans; Raph, Karl Mark G.
The Markgraf Karl Refutation Procedure („Karl Mark G. Raph“ ist Synonym für alle Mitarbeiter des Deduktionsprojektes)Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern. 1984
Bläsius, Karl Hans
Equality Reasoning in Clause GraphsProceedings International Joint Conference on Artificial Intelligence. 1983
Eisinger, N.; Bläsius, Karl Hans
The Markgraf Karl refutation procedure, (1979)Karlsruhe: Univ. 1979 13 S. (Interner Bericht ; 1979,31)