Read out

Guest Talk: Answer Set Programming for Qualitative Spatio-temporal Reasoning

Prof. Wolf­gang Faber
Univer­sity of Hudders­field, UK

Date/Time: 15.07.2016, 13:00

Loca­tion: D2.2.094

Abstract

We study the trans­la­tion of reaso­ning problems invol­ving quali­ta­tive spati­o-­tem­poral calculi into answer set programming (ASP).

We present various alter­na­tive trans­for­ma­tions and provide a quali­ta­tive compa­rison among them. An imple­men­ta­tion of these trans­for­ma­tions is provided by a tool that trans­forms problem instances speci­fied in the language of the Generic Quali­ta­tive Reasoner (GQR) into ASP problems. Finally, we report on an expe­ri­mental analysis of solving consis­tency problems for Allen’s Interval Algebra and the Region Connec­tion Calculus with eight base rela­tions (RCC-8).

Bio

Wolf­gang Faber serves as Professor of Arti­fi­cial Intel­li­gence at the Univer­sity of Hudders­field (UK) and is on leave as Asso­ciate Professor from the Univer­sity of Cala­bria (Italy). Earlier, he served as an Assis­tant Professor at the Vienna Univer­sity of Tech­no­logy, where he also obtained his PhD in 2002. From 2004 to 2006 he was on an APART grant of the Austrian Academy of Sciences. His general rese­arch inte­rests are in know­ledge repre­sen­ta­tion, logic programming, nonmo­no­tonic reaso­ning, plan­ning, and know­led­ge-­based agents. He has published more than 100 refe­reed arti­cles in major jour­nals, collec­tions and confe­rence procee­dings in these areas. He is one of the archi­tects of DLV, a state-of-t­he-art system for compu­ting answer sets of disjunc­tive deduc­tive data­bases, which is used all over the world. He has acted as a chair for several work­shops and confe­rences, has been on the program commit­tees of many of the major confe­rences of his rese­arch areas, and has served on the edito­rial board and as a reviewer for many jour­nals and confe­rences on Arti­fi­cial Intel­li­gence, Know­ledge Repre­sen­ta­tion, and Logic Programming.



Back to overview