Event: Workshop on trends and applications of answer set programming
Master data
Title: | Workshop on trends and applications of answer set programming |
Description: | Answer set programming (ASP) is a widely used declarative programmingparadigm based on the stable-model semantics. Over the years,the formalism has been extended with new language elements, advanced evaluationtechniques have been developed, and efficient and expressive systemshave been realized. These advancements turned ASP into a rich modelinglanguage which was successfully applied to various tasks in artificialintelligence and beyond, including combinatorial problems andknowledge-intense tasks. Driven by the needs of applications,ongoing research in the field comprises, for instance, the integrationwith other paradigms (such as constraint programming), distributed computation,temporal and stream reasoning. These developments aim at the ultimate goal ofequipping ASP with the features needed for realizing modern information systems.This workshop focuses on recent trends in the area of ASP,including novel techniques for the evaluation of ASP programs,extensions of the formalism, integration with other formalisms,advancements of systems, and benchmark suites. Furthermore, discussions ofapplications of ASP and its extensions in AI and industry are welcome. |
Keywords: | answer set programming, artificial intelligence, ASP, |
Organizers
Employees | Time period | |
---|---|---|
Gerhard Friedrich (internal) |
|
|
Wolfgang Faber (internal) |
|
|
Torsten Schaub (external) |
|
|
Stefan Woltran (external) |
|
|
Thomas Eiter (external) |
|
Assignment
Organisational unit | ||||
---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
Categorisation
Funding type | Other |
Event type |
|
Subject areas | |
Research Cluster |
|
Group of participants |
|
Event focus |
Classification raster of the assigned organisational units:
|
working groups |
|
Funding
Cooperations
Organisation | Address | ||
---|---|---|---|
Universität Potsdam, Campus I
|
DE - 14469 Potsdam |
||
Technische Universität Wien
|
AT - 1040 Wien |
Research activities
Projects | No related projects |
Publications |
|
Events | No related events |
Lectures |
|
Lectures of the event
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem
P. Tassel, M. Gebser, M. Rbaia |
Job Shop Scheduling with Multi-shot ASP
Job Shop Scheduling with Multi-shot ASP
M. El-Kholany, M. Gebser |
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
A. Tarzariol |