Stammdaten

Titel: Workshop on trends and applications of answer set programming
Beschreibung:

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.

Schlagworte: answer set programming, artificial intelligence, ASP,
Kurztitel: taasp 2020
Ort: Universität Klagenfurt
Staat: Österreich
Zeitraum: 23.11.2020 - 24.11.2020
Veranstaltungsstatus:
Kontakt-Email: martin.gebser@aau.at
Homepage: http://www.kr.tuwien.ac.at/events/taasp20/index.html

Kategorisierung

Förderungstyp Sonstiger
Veranstaltungstyp
  • Tagung/Konferenz
Sachgebiete
  • 102 - Informatik
Forschungscluster
  • Selbstorganisierende Systeme
TeilnehmerInnenkreis
  • Überwiegend national
Veranstaltungsfokus
  • Science to Science (Qualitätsindikator: III)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen
  • Intelligente Systeme und Wirtschaftsinformatik
  • Adaptive und Vernetzte Produktionssysteme
  • Semantic Systems

Finanzierung

Keine Förderprogramme vorhanden

Kooperationen

Organisation Adresse
Universität Potsdam, Campus I
Am Neuen Palais 10
14469 Potsdam
Deutschland
Am Neuen Palais 10
DE - 14469  Potsdam
Technische Universität Wien
Karlsplatz 13
1040 Wien
Österreich - Wien
Karlsplatz 13
AT - 1040  Wien

Vorträge der Veranstaltung

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

seit 23.11.2020

Zum Vortrag
Job Shop Scheduling with Multi-shot ASP
Job Shop Scheduling with Multi-shot ASP

M. El-Kholany, M. Gebser

seit 23.11.2020

Zum Vortrag
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Lifting Symmetry Breaking Constraints with Inductive Logic Programming

A. Tarzariol

seit 23.11.2020

Zum Vortrag