Starten Sie Ihre Suche...


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

Suche


7053 Treffer


× Publikationen
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Theologische Fakultät Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen


  • Thimm, Matthias; Garcia, Alejandro J.
  • On Strategic Argument Selection in Structured Argumentation Systems
  • Peter McBurney;Iyad Rahwan;Simon Parsons (Hrsg). Argumentation in Multi-Agent Systems: 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers. Berlin: Springer 2011 S. 286 - 305


  • Kaiser, Robert; Zöbel, Dieter
  • Echtzeitfähigkeit virtueller Maschinen
  • Wolfgang A. Halang;Peter Holleczek (Hrsg). Eingebettete Systeme: Echtzeit 2010; Boppart; 18. und 19. November, 2010. Berlin: Springer 2011 S. 41 - 50



  • Kern-Isberner, Gabriele; Beierle, Christoph; Finthammer, Marc et al.
  • Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications
  • Abdelkader Hameurlain;Stephen W. Liddle;Klaus-Dieter Schewe;Xiaofang Zhou (Hrsg). Database and Expert Systems Applications: 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part I. Berlin: Springer 2011 S. 27 - 46



  • 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