Vortrag: Evaluating Epistemic Logic Programs via Answer Set Programming with Q...
Stammdaten
Titel: | Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers |
Beschreibung: | In this paper we introduce a simple way to evaluate epistemic logic programs by means of answer setprogramming with quantifiers, a recently proposed extension of answer set programming. The methodcan easily be adapted for most of the many semantics that were proposed for epistemic logic programs.We evaluate the proposed transformation on existing benchmarks using a recently proposed solver foranswer set programming with quantifiers, which relies on QBF solvers. |
Schlagworte: | Epistemic Logic Programs, Answer Set Programming with Quantifiers, Answer Set Programming |
Typ: | Angemeldeter Vortrag |
Homepage: | https://rcra2022.wordpress.com/schedule/ |
Veranstaltung: | RCRA 2022 - 29th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Genova) |
Datum: | 05.09.2022 |
Vortragsstatus: | stattgefunden (Präsenz) |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
TeilnehmerInnenkreis |
|
Publiziert? |
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen |
|
Veranstaltungen |
|
Vorträge | Keine verknüpften Vorträge vorhanden |