Franz Baader (baader)

Contributions à Philosophie.ch

Bibliography

Baader, Franz, Borgwardt, Stefan and Morawska, Barbara. 2012. “Computing Minimal EL-unifiers is Hard.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 18–35. London: King’s College Publications.
Baader, Franz, Buchheit, Martin and Hollunder, Bernhard. 1996. “Cardinality Restrictions on Concepts.” Artificial Intelligence 88(1–2): 195–213.
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 Hollunder, Bernhard. 1992. “Embedding Defaults into Terminological Knowledge Representation Formalisms.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 306–317. San Francisco, California: Morgan Kaufmann Publishers.
Baader, Franz and Hollunder, Bernhard. 1993. “How to Prefer More Specific Defaults in Terminological Default Logic.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 669–674. San Francisco, California: Morgan Kaufmann Publishers.
Baader, Franz and Hollunder, Bernhard. 1995. “Embedding Defaults into Terminological Knowledge Representation Systems.” Journal of Automated Reasoning 14: 149–180.
Baader, Franz, Hollunder, Bernhard, Nebel, Bernhard and Profitlich, Hans-Jürgen. 1992. “Terminological Reasoning with Constraint Networks and an Application to Plan Recognition.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 282–293. San Francisco, California: Morgan Kaufmann Publishers.
Baader, Franz and Küsters, Ralf. 2000. “Matching in Description Logics with Existential Restrictions.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 261–272. San Francisco, California: Morgan Kaufmann Publishers.
Baader, Franz, Küsters, Ralf and Mölitor, Ralf. 2000. “Rewriting Concepts Using Terminologies.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 297–308. San Francisco, California: Morgan Kaufmann Publishers.
Baader, Franz and Laux, Armin. 1995. “Terminological Logics with Modal Operators.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 808–814. San Francisco, California: Morgan Kaufmann Publishers.
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.
Baader, Franz and Sattler, Ulrike. 1996. “Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 328–339. San Francisco, California: Morgan Kaufmann Publishers.
Baader, Franz and Sattler, Ulrike. 2001. “Algorithms for Description Logics.” Studia Logica: An International Journal for Symbolic Logic 69(1): 5–40.
Baader, Franz and Schulz, Klaus Ulrich. 1992. “Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.” in CADE-11. Proceedings of the 11th International Conference on Automated Deduction, edited by V. Srinivasan, pp. 50–65. Lecture Notes in Artificial Intelligence. Berlin: Springer.
Baader, Franz and Schulz, Klaus Ulrich, eds. 1996. Frontiers of Combining Systems. vol. I. Dordrecht: Kluwer Academic Publishers.
Baader, Franz and Schulz, Klaus Ulrich. 1998. “Unification Theory.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 225–264. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Baader, Franz and Siekmann, Jörg H. 1994. “Unification Theory.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 41–126. Oxford: Oxford University Press.
Hollunder, Bernhard and Baader, Franz. 1991. “Qualifying Number Restrictions in 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. 335–346. San Francisco, California: Morgan Kaufmann Publishers.