Hans-Jürgen Bürckert

Statistics

Publications

Citations

948

H-Index

Active since

1988

Affiliations

German Research Centre for Artificial Intelligence(Current)

University of Kaiserslautern

Universität Ulm

Hans-Jürgen Bürckert is an author at German Research Centre for Artificial Intelligence specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSystems EngineeringBusinessLogisticsAutomationOperations ResearchSemantics

Publications per year

1988–2005

Publications

Reasoning about temporal relations

Bernhard Nebel, Hans-Jürgen Bürckert · Journal of the ACM · 1995 · 403 citations · Full text

Engineering, Temporal Databases, Semantics +17

Holonic transport scheduling with teletruck

Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke · Applied Artificial Intelligence · 2000 · 74 citations · Full text

Mathematical Programming, Engineering, Teletruck Application Prototype +19

Terminological knowledge representation : a proposal for a terminological logic

Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn et al. · Publications of the UdS (Saarland University) · 1990 · 73 citations · Full text

Engineering, Epistemic Logic, Semantic Web +18

On the expressivity of feature logics with negation, functional uncertainty, and sort equations

Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel et al. · Publications of the UdS (Saarland University) · 1991 · 70 citations · Full text

A resolution principle for constrained logics

Hans-Jürgen Bürckert · Artificial Intelligence · 1994 · 59 citations

Non-classical Logic, Engineering, Automated Reasoning +4

1–5 of 14