Hans-Jürgen Bürkert (buerkert)

Contributi a Philosophie.ch

Bibliography

Baader, Franz, Bürkert, Hans-Jürgen, Nebel, Bernhard, Nutt, Werner and Smolka, Gert. 1993. “On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations.” Journal of Logic, Language, and Information 2(1): 1–18.
Bürkert, Hans-Jürgen. 1994. “A Resolution Principle for Constrained Logics.” Artificial Intelligence 66(2): 235–271.
Gräber, Andrea, Bürkert, Hans-Jürgen and Laux, Armin. 1995. “Terminological Reasoning with Knowledge and Belief.” in Knowledge and Belief in Philosophy and Artificial Intelligence, edited by Armin Laux and Heinrich Theodor Wansing, pp. 29–64. Berlin: Akademie Verlag.