#### Filter Results:

- Full text PDF available (12)

#### Publication Year

1986

2012

- This year (0)
- Last 5 years (1)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Bernhard Nebel, Hans-Jürgen Bürckert
- AAAI
- 1994

We introduce a new subclass of Allen's interval algebra we call “ORD-Horn subclass,” which is a strict superset of the “pointisable subclass.” We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is sufficient for deciding satisfiability. Further, using an extensive… (More)

- Franz Baader, Hans-Jürgen Bürckert, +5 authors Hans-Jürgen Profitlich
- Description Logics
- 1991

This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.

- Hans-Jürgen Bürckert
- Artif. Intell.
- 1994

Biirckert, H.-J., A resolution principle for constrained logics, Artificial Intelligence 66 (1994) 235-271. We introduce a constrained logic scheme with a resolution principle for clauses whose variables are constrained by a constraint theory. Constraints can be seen as quantifier restrictions filtering out the values that any interpretation of the… (More)

- Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke
- Applied Artificial Intelligence
- 2000

- Hans-Jürgen Bürckert
- Lecture Notes in Computer Science
- 1991

- Hans-Jürgen Bürckert, Alexander Herold, +4 authors Hantao Zhang
- Journal of Automated Reasoning
- 1988

This note reports about the implementation of AC-unification algorithms, based on the variable-abstraction method of Stickel and on the constant-abstraction method of Livesey, Siekmann, and Herold. We give a set of 105 benchmark examples and compare execution times for implementations of the two approaches. This documents for other researchers what we… (More)

A critical problem in an intermodal transport chain is the direct meet at the transhipment nodes. This requires information technology and modern communication facilities as well as close collaboration between all the concerned transport operators in the chain. The TELETRUCK system – currently under development at the German Research Center for Artificial… (More)

- Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
- Journal of Logic, Language and Information
- 1993

Feature logics are the logical basis for so-called uniication grammars studied in computational linguistics. We investigate the expressivity of feature terms with negation and the functional uncertainty construct needed for the description of long-distance dependencies and obtain the following results: satissability of feature terms is undecidable, sort… (More)

- Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
- J. Symb. Comput.
- 1989

We investigate the following classes of equational theories which are important in unification theory: permutative, finite, Noetherian, simple, almost collapse free, collapse free, regular, and O-free theories. We show some relationships between the particular classes and their connections to the unification hierarchy. Especially, we study conditions, under… (More)

- Hans-Jürgen Bürckert
- CADE
- 1988