Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


27102 Treffer


× Universität Koblenz
× Technische Hochschule Bingen
× Hochschule Koblenz



  • Schon, Claudia
  • Linkless Normal Form for ALC Concepts and TBoxes
  • Joscha Bach;Stefan Edelkamp (Hrsg). KI 2011 Advances in Artificial Intelligence: 34th Annual German Conference on AI, Berlin, Germany, October 4 -7,2011, Proceedings. Berlin: Springer 2011 S. 301 - 312




  • Derakhshanmanesh, Mahdi; Amoui, Mehdi; O Grady, Greg et al.
  • GRAF: Graph-based Runtime Adaptation Framework
  • Holger Giese;Betty H.C. Chen (Hrsg). SEAMS’11Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems; May 23-24, 2011; Waikiki, Honolulu, HI, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 128 - 137


  • Furbach, Ulrich
  • First-Order Tableaux in Applications (Extended Abstract)
  • Kai Brünnler;George Metclfe (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Berlin: Springer 2011 S. 17 - 19