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)

Beteiligte
Wolfgang Faber
Wolfgang.Faber@aau.at
Institut für Artificial Intelligence und Cybersecurity
Forschungsaktivitäten
zur Visitenkarte
(intern)
  • AutorIn
Michael Morak
Michael.Morak@aau.at
Forschungsaktivitäten
zur Visitenkarte
(intern)
  • Vortragende/r
  • AutorIn

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung
Sachgebiete
  • 102001 - Artificial Intelligence
Forschungscluster Kein Forschungscluster ausgewählt
Vortragsfokus
  • Science to Science (Qualitätsindikator: II)
Klassifikationsraster der zugeordneten Organisationseinheiten:
TeilnehmerInnenkreis
  • Überwiegend international
Publiziert?
  • Ja
Arbeitsgruppen
  • Semantic Systems

Kooperationen
Keine Partnerorganisation ausgewählt