Hans-Jrgen Brckert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1986–1995
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | KI | Task Acquisition with a Description Logic Reasoner. | Martin Buchheit, Hans-Jrgen Brckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wjcik |
| 1994 | AAAI | Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. | Bernhard Nebel, Hans-Jrgen Brckert |
| 1994 | ECAI | Concept Logics with Function Symbols. | Hans-Jrgen Brckert, Bernhard Hollunder, Armin Laux |
| 1993 | KI | Modellierung epistemischer Propositionen. | Hans-Jrgen Brckert, Werner Nutt |
| 1990 | CADE | A Resolution Principle for Clauses with Constraints. | Hans-Jrgen Brckert |
| 1988 | CADE | Solving Disequations in Equational Theories. | Hans-Jrgen Brckert |
| 1986 | CADE | Some Relationships between Unification, restricted Unification, and Matching. | Hans-Jrgen Brckert |
| 1986 | KI | Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. | Hans-Jrgen Brckert |