Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

M. Banbara, M. Gebser, K. Inoue, M. Ostrowski, A. Peano, T. Schaub, T. Soh, N. Tamura, und M. Weise. LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mathias Weiser University of Stuttgart

Matthias Keinert

Concept of a Computerized Numerical Control Kernel for Execution on Multi-core ProcessorsM. Keinert, A. Lechler, und A. Verl. IEEE Advanced Motion Control, Seite 599-604. (April 2016)

Concept of a Computerized Numerical Control Kernel for Execution on Multi-core ProcessorsM. Keinert, A. Lechler, und A. Verl. IEEE Advanced Motion Control, Seite 599-604. (April 2016)OPC UA Informationsmodell für CNC-Datenschnittstellen : standardisierte Schnittstelle für CNC-WerkzeugmaschinenM. Keinert, und A. Lechler. Automation 2015, 2258, Seite 593-604. Düsseldorf, VDI-Verl., (2015)Aufwertung von HMI-Systemen durch Design, Austauschbarkeit und IntelligenzM. Keinert, und P. Pruschek. (2013)

Matthias Bachmann

Matthias Bachmann

Matthias Bachmann

Weitere Publikationen von Autoren mit dem selben Namen

Structural analysis extension of the IFC modelling framework.M. Weise, P. Katranuschkov, T. Liebich, und R. Scherer. ITcon, (2003)aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.M. Banbara, M. Gebser, K. Inoue, M. Ostrowski, A. Peano, T. Schaub, T. Soh, N. Tamura, und M. Weise. LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2015)A Comprehensive Classification of 3D Selection and Manipulation Techniques.M. Weise, R. Zender, und U. Lucke. Mensch & Computer, Seite 321-332. GI / ACM, (2019)Auswahl von Interaktionstechniken für Virtual Reality-Anwendungen.M. Weise, und R. Zender. Mensch & Computer, Gesellschaft für Informatik e.V., (2018)HandLeVR - Handlungsorientiertes Lernen in der VR-Lackierwerkstatt.R. Zender, M. Weise, und U. Lucke. DeLFI, Volume P-297 von LNI, Seite 305-306. Gesellschaft für Informatik e.V., (2019)Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.M. Banbara, M. Gebser, K. Inoue, T. Schaub, T. Soh, N. Tamura, und M. Weise. CoRR, (2013)Interaktionstechniken in VR-Lernwelten(Interaction Techniques in VR Learning Environments).M. Weise, und R. Zender. DeLFI/GMW Workshops, Volume 2092 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Interoperable validation for IFC building models using open standards.C. Zhang, J. Beetz, und M. Weise. ITcon, (2015)Systematic Fusion of Gesture Sensors for Practical Learning in Virtual Environments.M. Weise, R. Zender, und U. Lucke. ICALT, Seite 83-87. IEEE Computer Society, (2015)Campus.UP - die flexible Plattform für digitales Lernen und Arbeiten.J. Hafer, C. Müssig, M. Weise, und S. Reinke. DeLFI, Volume P-262 von LNI, Seite 331-333. GI, (2016)