{"id":14629,"date":"2022-06-22T15:09:42","date_gmt":"2022-06-22T13:09:42","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&p=14629"},"modified":"2022-06-24T09:57:58","modified_gmt":"2022-06-24T07:57:58","slug":"saarbruecken-ai-research-celebrates-international-successes","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/","title":{"rendered":"Saarbr\u00fccken AI research celebrates international successes"},"content":{"rendered":"

Saarland University computer science professor J\u00f6rg Hoffmann has achieved several successes with his research group “Foundations of Artificial Intelligence” at a leading international conference in a subfield of AI research, the “International Conference on Automated Planning and Scheduling (ICAPS)”. Former doctoral student Daniel Gnad wins the conference’s dissertation award, and an exceptionally large proportion of the research papers accepted at the conference was co-authored by the group.<\/strong><\/p>\n

J\u00f6rg Hoffmann is professor of computer science at Saarland University since 2012. The artificial intelligence expert focuses on action-decision mechanisms in complex planning problems, such as chess or production planning. Recently his focus is on trustworthy AI, specifically methods for quality assurance of machine-learned decision processes.<\/p>\n

The “International Conference on Automated Planning and Scheduling (ICAPS)” is one of the leading scientific conferences in this subfield of AI research. For the 2022 edition, about 70 research groups from around the globe submitted hundreds of research papers for discussion at the conference, of which 85 papers were accepted. As J\u00f6rg Hoffmann explains: “My research group achieved a spectacular success: Of the 85 accepted papers, 11 have co-authorship from my research group. This is a new record – in the more than 30-year history of the conference series, no research group has ever had more than 6 papers accepted at an edition of ICAPS.”<\/p>\n

Furthermore, Daniel Gnad\u2019s PhD thesis, conducted in J\u00f6rg Hoffmann\u2019s group, won the “Best Dissertation Award”. The thesis, entitled “Star-Topology Decoupled State-Space Search in AI Planning and Model Checking\u201d, contributes a novel method for efficient planning that leverages independence properties, and achieved outstanding results also in safety verification.<\/p>\n

Professor J\u00f6rg Hoffmann already received several honors for his contributions to AI last year: At the beginning of 2021, he was named a Fellow of the “Association for Artificial Intelligence (AAAI)”, making him one of only five scientists working in Germany to have received this accolade since 1990. Later last year, he was also appointed Fellow of the “European Association for Artificial Intelligence (EurAI)”.<\/p>\n

 <\/p>\n

\n
\n
\n
\n
\n
\n
\n
\n

ICAPS-2022 Accepted Papers (co)-authored by FAI<\/strong><\/p>\n

Daniel H\u00f6ller, Julia Wichlacz, Pascal Bercher and Gregor Behnke. Compiling HTN Plan Verification Problems into HTN Planning Problems<\/p>\n

Marcel Vinzent, Marcel Steinmetz and J\u00f6rg Hoffmann. Neural Network Action Policy Verification via Predicate Abstraction<\/p>\n

Daniel H\u00f6ller and Gregor Behnke. Encoding Lifted Classical Planning in Propositional Logic<\/p>\n

Patrick Ferber, Florian Gei\u00dfer, Felipe Trevizan, Malte Helmert and Joerg Hoffmann. Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods<\/p>\n

Marcel Steinmetz, Daniel Fi\u0161er, Hasan Ferit Eni\u015fer, Patrick Ferber, Timo Gros, Philippe Heim, Daniel H\u00f6ller, Xandra Schuler, Valentin W\u00fcstholz, Maria Christakis and Joerg Hoffmann. Debugging a Policy: Automatic Action-Policy Testing in AI Planning<\/p>\n

Martim Brandao, Amanda Coles, Andrew Coles and Joerg Hoffmann. Merge and Shrink Abstractions for Temporal Planning<\/p>\n

Rebecca Eifler, Martim Brandao, Amanda Coles, Jeremy Frank and Joerg Hoffmann. Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study<\/p>\n

Thorsten Kl\u00f6\u00dfner, Marcel Steinmetz, \u00c1lvaro Torralba and J\u00f6rg Hoffmann. Pattern Selection Strategies for Pattern Databases in Probabilistic Planning<\/p>\n

Daniel Gnad, \u00c1lvaro Torralba and Daniel Fi\u0161er. Beyond Stars – Generalized Topologies for Decoupled Search<\/p>\n

Daniel Fi\u0161er, \u00c1lvaro Torralba and Joerg Hoffmann. Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search<\/p>\n

Thorsten Kl\u00f6\u00dfner, Florian Pommerening, Thomas Keller and Gabriele R\u00f6ger. Cost Partitioning Heuristics for Stochastic Shortest Path Problems<\/p>\n

\n

Further Information<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

https:\/\/icaps22.icaps-conference.org\/<\/a>
\nhttp:\/\/fai.cs.uni-saarland.de\/research.html<\/a><\/p>\n

Award-winning PhD-Thesis:
\n<\/strong>D. Gnad, Star-Topology Decoupled State-Space Search in AI Planning and Model Checking<\/a>, Saarland University, 2021.<\/p>\n

 <\/p>\n

Background Saarland Informatics Campus:
\n<\/strong>900 scientists (including 400 PhD students) and about 2100 students from more than 80 nations make the Saarland Informatics Campus (SIC) one of the leading locations for computer science in Germany and Europe. Five world-renowned research institutes, namely the German Research Center for Artificial Intelligence (DFKI), the Max Planck Institute for Informatics, the Max Planck Institute for Software Systems, the Center for Bioinformatics and the Cluster for “Multimodal Computing and Interaction” as well as Saarland University with three departments and 24 degree programs cover the entire spectrum of computer science.<\/p>\n

Editor:<\/strong>
\nPhilipp Zapf-Schramm
\nSaarland Informatics Campus
\nPhone: +49 681 302-70741
\nE-Mail:\u00a0pzapf@mmci.uni-saarland.de<\/strong><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Saarland University computer science professor Jörg Hoffmann has achieved several successes with his research group “Foundations of Artificial Intelligence” at a leading international conference in a subfield of AI research, the “International Conference on Automated Planning and Scheduling (ICAPS)”. Former doctoral student Daniel Gnad wins the conference’s dissertation award, and an exceptionally large proportion of […]<\/p>\n","protected":false},"featured_media":10042,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[],"class_list":["post-14629","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nSaarbr\u00fccken AI research celebrates international successes - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Saarbr\u00fccken AI research celebrates international successes - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"Saarland University computer science professor Jörg Hoffmann has achieved several successes with his research group “Foundations of Artificial Intelligence” at a leading international conference in a subfield of AI research, the “International Conference on Automated Planning and Scheduling (ICAPS)”. Former doctoral student Daniel Gnad wins the conference’s dissertation award, and an exceptionally large proportion of […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"article:modified_time\" content=\"2022-06-24T07:57:58+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jo\u0308rg_Hoffmann_Web-1.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"640\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/\",\"name\":\"Saarbr\u00fccken AI research celebrates international successes - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Jo\u0308rg_Hoffmann_Web-1.jpg\",\"datePublished\":\"2022-06-22T13:09:42+00:00\",\"dateModified\":\"2022-06-24T07:57:58+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Jo\u0308rg_Hoffmann_Web-1.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Jo\u0308rg_Hoffmann_Web-1.jpg\",\"width\":1000,\"height\":640},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-ai-research-celebrates-international-successes\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Saarbr\u00fccken AI research celebrates international successes\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Saarbr\u00fccken AI research celebrates international successes - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/","og_locale":"en_US","og_type":"article","og_title":"Saarbr\u00fccken AI research celebrates international successes - Saarland Informatics Campus","og_description":"Saarland University computer science professor Jörg Hoffmann has achieved several successes with his research group “Foundations of Artificial Intelligence” at a leading international conference in a subfield of AI research, the “International Conference on Automated Planning and Scheduling (ICAPS)”. Former doctoral student Daniel Gnad wins the conference’s dissertation award, and an exceptionally large proportion of […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2022-06-24T07:57:58+00:00","og_image":[{"width":1000,"height":640,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jo\u0308rg_Hoffmann_Web-1.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/","name":"Saarbr\u00fccken AI research celebrates international successes - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jo\u0308rg_Hoffmann_Web-1.jpg","datePublished":"2022-06-22T13:09:42+00:00","dateModified":"2022-06-24T07:57:58+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jo\u0308rg_Hoffmann_Web-1.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jo\u0308rg_Hoffmann_Web-1.jpg","width":1000,"height":640},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-ai-research-celebrates-international-successes\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"Saarbr\u00fccken AI research celebrates international successes"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/14629","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/10042"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=14629"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=14629"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}