Werner Nutt (nutt-w)
Contributions to 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.
Baader, Franz and Nutt, Werner. 1992. “Are Complete and Expressive Terminological Systems Feasible?” in AAAI-92. Working Notes, AAAI Fall Symposium on Issues in Description Logics: Users Meet Developers, edited by Robert M. MacGregor, pp. 1–5. Menlo Park, California: The AAAI Press.
Buchheit, Martin, Donini, Francesco M., Nutt, Werner and Schaerf, Andrea. 1998. “A Refined Architecture for Terminological Systems: Terminology \(=\) Schema \(+\) Views.” Artificial Intelligence 99(2): 209–260.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele, Hollunder, Bernhard, Nutt, Werner and Spaccamela, Alberto. 1992. “The Complexity of Existential Quantification in Concept Languages.” Artificial Intelligence 53(2–3): 309–327.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Nutt, Werner. 1991. “The Complexity of Concept Languages.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 151–162. San Francisco, California: Morgan Kaufmann Publishers.