Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2010
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 572.

  1. Lutz Schröder; Dirk Pattinson

    Named Models in Coalgebraic Hybrid Logic

    In: Jean-Yves Marion; Thomas Schwentick (Hrsg.). Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. International Symposium on Theoretical Aspects of Computer Science (STACS-2010), 27th, March 4-6, Nancy, France, Pages 645-656, Leibniz International Proceedings in Informatics, Vol. 5, Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany, 3/2010.

  2. Carsten Lutz; Lutz Schröder

    Probabilistic Description Logics for Subjective Uncertainty

    In: Fangzhen Lin; Ulrike Sattler (Hrsg.). Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. International Conference on Principles of Knowledge Representation and Reasoning (KR-2010), 12th, May 9-13, Toronto, Ontario, Canada, AAAI Press, Menlo, CA, 5/2010.

  3. Daniel Hausmann; Lutz Schröder

    Optimizing Conditional Logic Reasoning within CoLoSS

    In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for Modalities, November 12-14, Kopenhagen, Denmark, Pages 157-171, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 262, Elsevier, Amsterdam, 5/2010.

  4. Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)

    Intelligent Computer Mathematics 2010 (CICM 2010)

    Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th International Conference MKM 2010, located at Conferences on Intelligent Computer Mathematics, July 5-10, Paris, France, LNCS (LNCS), Vol. 6167, ISBN 978-3-642-14127-0, Springer, Heidelberg, Germany, 7/2010.

  5. Rajeev Gore; Clemens Kupke; Dirk Pattinson; Lutz Schröder

    Global Caching for Coalgebraic Description Logics

    In: Jürgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference on Automated Reasoning (IJCAR-2010), 5th, located at FLoC 2010, July 16-19, Edinburgh, United Kingdom, Lecture Notes in Computer Science (LNCS), Springer, 2010.

  6. Marco Franke; Patrick Klein; Lutz Schröder

    Ontological Semantics of Standards and PLM Repositories in the Product Development Phase

    In: Alain Bernard (Hrsg.). Proceedings of the 20th CIRP Design Conference 2010. CIRP Design Conference (CIRP Design-2010), Global Product Development, April 19-21, Nantes, France, Springer, 2010.

  7. Alexander Volokh; Günter Neumann

    Comparing the Benefit of Different Dependency Parsers for Textual Entailment Using Syntactic Constraints Only

    In: K. Erk; C. Strapparava (Hrsg.). SemEval-2 Evaluation Exercises on Semantic Evaluation PETE. International Workshop on Semantic Evaluation (SemEval), located at ACL 2010, July 11-16, Uppsala, Sweden, 2010.

  8. Kathrin Eichler; Holmer Hemsen; Günter Neumann; Norbert Reithinger; Sven Schmeier; Kinga Schumacher; Inessa Seifert

    DiLiA -- The Digital Library Assistant

    In: M. Lalmas; J. Jose; A. Rauber; F. Sebastiani; I. Frommholz (Hrsg.). Proceedings of the European Conference on Research and Advanced Technology for Digital Libraries (ECDL) 2010. European Conference on Research and Advanced Technology for Digital Libraries (ECDL-10), September 6-10, Glasgow, United Kingdom, LNCS, Springer, 2010.

  9. Yong-Ho Yoo; Thomas Jung; Malte Langosz; Malte Rast; Jürgen Rossmann; Frank Kirchner

    Developing a Virtual Environment for Extraterrestrial Legged Robot with Focus on Lunar Crater Exploration

    In: Proceeding of 10th International Symposium on Artificial Intelligent, Robotics and Automation in Space. International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-10), 10th, August 29 - September 1, Saporro, Japan, 8/2010.

  10. José de Gea Fernández

    The Role of Prediction in Compliance Adaptation

    In: Proceedings of Robotics: Science and Systems Workshop on Strategies and Evaluation for Mobile Manipulation in Household Environments. Strategies and Evaluation for Mobile Manipulation in Household Environments, located at Robotics: Science and Systems (RSS 2010), June 27, Zaragoza, Spain, 6/2010.

Jahr