Veranstaltung: Workshop on trends and applications of answer set programming
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, |
VeranstalterInnen
MitarbeiterInnen | Zeitraum | |
---|---|---|
Gerhard Friedrich (intern) |
|
|
Wolfgang Faber (intern) |
|
|
Torsten Schaub (extern) |
|
|
Stefan Woltran (extern) |
|
|
Thomas Eiter (extern) |
|
Zuordnung
Organisationseinheit | ||||
---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
Kategorisierung
Förderungstyp | Sonstiger |
Veranstaltungstyp |
|
Sachgebiete | |
Forschungscluster |
|
TeilnehmerInnenkreis |
|
Veranstaltungsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Finanzierung
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
Universität Potsdam, Campus I
|
DE - 14469 Potsdam |
||
Technische Universität Wien
|
AT - 1040 Wien |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen |
|
Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
Vorträge |
|
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 |
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 |