DFKI Publications by Laux, Armin

D-91-14

with Erich Achilles , Bernhard Hollunder , Jörg-Peter Mohren
: Knowledge Representation and Inference System - Benutzerhandbuch -

RR-92-56

Integrating a Modal Logic of Knowledge into Terminological Logics

RR-93-06

with Hans-Jürgen Bürckert , Bernhard Hollunder
On Skolemization in Constrained Logics

RR-93-07

with Hans-Jürgen Bürckert , Bernhard Hollunder
Concept Logics with Function Symbols

RR-93-29

Representing Belief in Multi-Agent Worlds via Terminological Logics

RR-94-33

with Franz Baader
Terminological Logics with Modal Operators

RR-95-04

with M. Buchheit , H.-J. Bürckert , B. Hollunder , W. Nutt , M. Wójcik
Task Acquisition with a Description Logic Reasoner

Edited:

D-93-11

with Knut Hinkelmann
DFKI Workshop on Knowledge Representation Techniques --- Proceedings

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.