Gert Smolka (smolka-g)
Contributions à Philosophie.ch
No contributions yet
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.
Meseguer, José, Goguen, Joseph A., Jr. and Smolka, Gert. 1989. “Order-Sorted Unification.” Journal of Symbolic Computation 8: 383–413.
Schmidt-Schauss, Manfred and Smolka, Gert. 1991. “Attributive Concept Descriptions with Complements.” Artificial Intelligence 48(1): 1–26.