DFKI Publications by Laux, Armin



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


Integrating a Modal Logic of Knowledge into Terminological Logics


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


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


Representing Belief in Multi-Agent Worlds via Terminological Logics


with Franz Baader
Terminological Logics with Modal Operators


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



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

This document was last updated at 12:48 on Monday, January 26, 2004 by
DFKI-Bibliothek (bib@dfki.uni-kl.de)

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.