Lecture: Evaluating Epistemic Logic Programs via Answer Set Programming with Q...

Master data
Title: Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers
Description:

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.
Keywords: Epistemic Logic Programs, Answer Set Programming with Quantifiers, Answer Set Programming
Type: Registered lecture
Homepage: https://rcra2022.wordpress.com/schedule/
Event: RCRA 2022 - 29th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (Genova)
Date: 05.09.2022
lecture status: stattgefunden (Präsenz)

Participants
Wolfgang Faber
Wolfgang.Faber@aau.at
Institut für Artificial Intelligence und Cybersecurity
Research activities
To visiting card
(internal)
  • Author
Michael Morak
Michael.Morak@aau.at
Research activities
To visiting card
(internal)
  • Speaker
  • Author

Assignment
Organisation Address
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Austria
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
To organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Categorisation
Subject areas
  • 102001 - Artificial intelligence
Research Cluster No research Research Cluster selected
Focus of lecture
  • Science to Science (Quality indicator: II)
Classification raster of the assigned organisational units:
Group of participants
  • Mainly international
Published?
  • Yes
working groups
  • Semantic Systems

Cooperations
No partner organisations selected