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

Automated Reformulation of Specifications by Safe Delay of Constraints., und . KR, Seite 388-398. AAAI Press, (2004)Evaluating ASP and Commercial Solvers on the CSPLib., , , und . Constraints, 13 (4): 407-436 (2008)Exploiting functional dependencies in declarative problem specifications., und . Artif. Intell., 171 (16-17): 985-1010 (2007)20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"., , und . J. Exp. Theor. Artif. Intell., 27 (5): 501-502 (2015)Finite model reasoning on UML class diagrams via constraint programming., , , und . Intelligenza Artificiale, 7 (1): 57-65 (2013)Scaling Up Reasoning about Actions Using Relational Database Technology., und . AAAI, Seite 245-256. AAAI Press / The MIT Press, (2004)Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts*.. Fundam. Inform., 149 (1-2): 61-100 (2016)Complexity of Pure Equilibria in Bayesian Games., , und . IJCAI, Seite 1294-1299. (2007)Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation., , , , und . DSD, Seite 236-245. IEEE Computer Society, (2014)User Flexibility Aware Price Policy Synthesis for Smart Grids., , , , , , , , und . DSD, Seite 478-485. IEEE Computer Society, (2015)