DFKI Publications by Bürckert, Hans-Jürgen

[Back]

RR-90-02

A Resolution Principle for Clauses with Constraints

RR-90-10

with Franz Baader , Bernhard Hollunder , Werner Nutt , Jörg H. Siekmann
Concept Logics

RR-91-01

with Franz Baader , Bernhard Nebel , Werner Nutt , Gert Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

RR-91-09

with Jürgen Müller , Achim Schupeta
RATMAN and its Relation to Other Multi-Agent Testbeds

RR-92-51

with Werner Nutt
On Abduction and Answer Generation through Constained Resolution

RR-93-06

with Bernhard Hollunder , Armin Laux
On Skolemization in Constrained Logics

RR-93-07

with Bernhard Hollunder , Armin Laux
Concept Logics with Function Symbols

RR-93-11

with Bernhard Nebel
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

RR-95-04

with M. Buchheit , B. Hollunder , A. Laux , W. Nutt , M. Wójcik
Task Acquisition with a Description Logic Reasoner

TM-90-04

with Franz Baader , Jochen Heinsohn , Bernhard Hollunder , Jürgen Müller , Bernhard Nebel , Werner Nutt , Hans-Jürgen Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic

TM-97-03

with Klaus Fischer , Gero Vierke
TeleTruck: A Holonic Fleet Management System

TM-98-04

with Gero Vierke
Simulated Trading Mechanismen für Speditionsübergreifende Transportplanung

TM-98-06

with Petra Funk , Gero Vierke
A Multi-Agent Perspective on Intermodal Transport Chains

TM-99-02

with Petra Funk , Gero Vierke
An Intercompany Dispatch Support System for Intermodal Transport Chains

Edited:

D-93-25

with Werner Nutt (Eds.)
Modeling Epistemic Propositions

D-96-04

with Franz Baader , Andreas Günter , Werner Nutt (Hrsg.)
Proceedings of the Workshop on Knowledge Representation and Configuration WRKP'96

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.