Invited Talk of Dr. Erich Teppan (AAU)

Talk: Heuristic Constraint Answer Set Programming

Monday, December 04, 2017 10:00 AM – 11:00 AM
Last modified: Thu, Nov 16, 2017 09:06 AM

Description

CV: Erich Teppan is an Assistant Professor at the University of Klagenfurt, Austria. He studied at the University of Klagenfurt and at the Westminster University, UK and received his Engineer and Ph.D. degrees in computer science from the University of Klagenfurt. Teppan worked as a Software-Engineer for various companies in Austria and Switzerland. His main research areas include Human Computer Interaction with a special focus on human factors in recommender systems, Logic Programming, Heuristic Search and Artificial Intelligence. Talk: Constraint answer set programming (CASP) is a family of hybrid approaches integrating answer set programming (ASP) and constraint programming (CP). These hybrid approaches have already proven to be successful in various domains. In this talk the approach of heuristic CASP (HCASP) is presented, in which ASP is not only used for expressing constraint satisfaction problems (CSPs) to be solved by a CP solver. In HCASP, ASP is also used for the encoding of search heuristics that are exploited by the CP solver. In this context, the novel HCASP solver ASCASS (A Simple Constraint Answer Set Solver), which provides novel methods for defining and exploiting search heuristics, is presented.


Location information

Address

Inffeldgasse 16b/2, Graz, Österreich

Seminar-Room Institute for Software Technology

Date of event

Monday, December 04, 2017 10:00 AM – 11:00 AM

Export to calendar