Browsing by Index of Persons Bürckert, Hans-Jürgen

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 16 of 16
Year of PublicationTitleAuthor(s)Open Access
1990Concept logicsBaader, Franz; Bürckert, Hans-Jürgen; Hollunder, Bernhard, et al
1993Concept logics with function symbolsBürckert, Hans-Jürgen; Hollunder, Bernhard; Laux, Armin
1999An intercompany dispatch support system for intermodal transport chainsBürckert, Hans-Jürgen; Funk, Petra; Vierke, Gero
1993Modeling epistemic propositions-
1998A multi-agent perspective on intermodal transport chainsFunk, Petra; Vierke, Gero; Bürckert, Hans-Jürgen
1992On abduction and answer generation through constrained resolutionBürckert, Hans-Jürgen; Nutt, Werner
1993On skolemization in constrained logicsBürckert, Hans-Jürgen; Hollunder, Bernhard; Laux, Armin
1991On the expressivity of feature logics with negation, functional uncertainty, and sort equationsBaader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard, et al
1996Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP'96-
1991RATMAN and its relation to other multi-agent testbedsBürckert, Hans-Jürgen; Müller, Jürgen; Schupeta, Achim
1993Reasoning about temporal relations : a maximal tractable subclass of Allen's interval algebraNebel, Bernhard; Bürckert, Hans-Jürgen
1990A resolution principle for clauses with constraintsBürckert, Hans-Jürgen
1998Simulated Trading Mechanismen für speditionsübergreifende TransportplanungBürckert, Hans-Jürgen; Vierke, Gero
1995Task acquisition with a description logic reasonerBuchheit, Martin; Bürckert, Hans-Jürgen; Hollunder, Bernhard, et al
1997TeleTruck : a holonic fleet management systemBürckert, Hans-Jürgen; Fischer, Klaus; Vierke, Gero
1990Terminological knowledge representation : a proposal for a terminological logicBaader, Franz; Bürckert, Hans-Jürgen; Heinsohn, Jochen, et al