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,
Short title: taasp 2020
City: Universität Klagenfurt
Country: Austria
Period: 23.11.2020 - 24.11.2020
Veranstaltungsstatus:
Contact e-mail: martin.gebser@aau.at
Homepage: http://www.kr.tuwien.ac.at/events/taasp20/index.html

Organizers

Categorisation

Funding type Other
Event type
  • Congress/Conference
Subject areas
  • 102 - Computer Sciences
Research Cluster
  • Self-organizing systems
Group of participants
  • Mainly national
Event focus
  • Science to Science (Quality indicator: III)
Classification raster of the assigned organisational units:
working groups
  • Intelligente Systeme und Wirtschaftsinformatik
  • Adaptive und Vernetzte Produktionssysteme
  • Semantic Systems

Funding

No available funding programs

Cooperations

Organisation Address
Universität Potsdam, Campus I
Am Neuen Palais 10
14469 Potsdam
Germany
Am Neuen Palais 10
DE - 14469  Potsdam
Technische Universität Wien
Karlsplatz 13
1040 Wien
Austria - Vienna
Karlsplatz 13
AT - 1040  Wien

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

since 23.11.2020

To Lecture
Job Shop Scheduling with Multi-shot ASP
Job Shop Scheduling with Multi-shot ASP

M. El-Kholany, M. Gebser

since 23.11.2020

To Lecture
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Lifting Symmetry Breaking Constraints with Inductive Logic Programming

A. Tarzariol

since 23.11.2020

To Lecture