Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Just enough tabling., und . PPDP, Seite 78-89. ACM, (2004)Towards Flexible Graphical Communication Using Adaptive Diagrams., , und . ASIAN, Volume 3321 von Lecture Notes in Computer Science, Seite 380-394. Springer, (2004)Termination Analysis with Types Is More Accurate., , und . ICLP, Volume 2916 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2003)Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions., , , , , , und . IJCAI, Seite 1078-1085. ijcai.org, (2019)Efficient Representation of Adhoc Constraints., , und . IJCAI, Seite 1368-1369. Morgan Kaufmann, (2003)Flexible, Rule-Based Constraint Model Linearisation., , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2008)Checking modes of HAL programs., , , , und . Theory Pract. Log. Program., 5 (6): 623-668 (2005)The Chameleon Type Debugger (Tool Demonstration), , und . CoRR, (2003)Herbrand Constraints in HAL., , , , , und . Program Development in Computational Logic, Volume 3049 von Lecture Notes in Computer Science, Springer, (2004)Fragment-Based Planning Using Column Generation., , , und . ICAPS, AAAI, (2014)