From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Knowledge Representation and Reasoning (lecture notes), , и . (2005)http://www.informatik.uni-freiburg.de/~ki/teaching/ws0405/krr/vorlesung.html.Prinzipien der Wissensrepräsentation, , и . (2006)http://www.informatik.uni-freiburg.de/~ki/teaching/ws0506/krr/vorlesung\_de.html.Diagnosers and Diagnosability of Succinct Transition Systems.. IJCAI, стр. 538-544. (2007)Planning as satisfiability: Heuristics.. Artif. Intell., (2012)Planning with Specialized SAT Solvers.. AAAI, стр. 1563-1566. AAAI Press, (2011)Complexity of Conditional Planning under Partial Observability and Infinite Executions.. ECAI, том 242 из Frontiers in Artificial Intelligence and Applications, стр. 678-683. IOS Press, (2012)Discretization of Temporal Models with Application to Planning with SMT.. AAAI, стр. 3349-3355. AAAI Press, (2015)Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming., и . ICAPS, стр. 71-79. AAAI Press, (2022)Numeric State Variables in Constraint-Based Planning., и . ECP, том 1809 из Lecture Notes in Computer Science, стр. 109-121. Springer, (1999)Regression for Classical and Nondeterministic Planning.. ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 568-572. IOS Press, (2008)