Prof. Dr. rer. nat. Karl Hans Bläsius - Publikationen

Bläsius, Karl Hans
SEEBURGER nutzt KI-Methoden zur Rechungsautomatisierung
Kü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 Kanungo
Elisa 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 Analysis
Proceedings 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 Letters
Proceedings 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 Algorithms
Proceedings Workshops KI-95. 1995

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

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
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

Bläsius, Karl Hans; Bürckert, H.J.
Deductionsystems in Artificial Intelligence
Chinchester: Ellis Horwood 1989

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
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 Denkens
München [u.a.]: Oldenbourg 1987 0 S.

Bayer, T.; Bläsius, Karl Hans
Regelgesteuerte Zeichenerkennung und Dokumentanalyse
Proceedings der Tagung der Deutschen Arbeitsgemeinschaft für Mustererkennung (DAGM). 1987

Bläsius, Karl-Hans
Construction of equality graphs
Kaiserslautern: Fachb. Informatik, Univ. 1986 23 S. (Seki Report. SR ; 86,1)

Bläsius, Karl Hans
Equality reasoning based on graphs
1986 162 S.

Bläsius, Karl Hans
Versus the "Anti Walz Effect" in Equality Reasoning
Proceedings German Workshop on Artificial Intelligence. 1986

Siekmann, Jörg H.; Bläsius, Karl Hans
Computergestützte Frühwarn- und Entscheidungssysteme
1985 S. 90 - 96

Bläsius, Karl Hans
Equality Reasoning with Equality-paths
Proceedings 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 Graphs
Proceedings 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)