Publikation: Evaluating Epistemic Logic Programs via...
Stammdaten
Titel: | Evaluating Epistemic Logic Programs via Answer SetProgramming with Quantifiers |
Untertitel: | |
Kurzfassung: | 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 |
Publikationstyp: | Beitrag in Sammelwerk (Autorenschaft) |
Erscheinungsdatum: | 21.11.2022 (Online) |
Erschienen in: |
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022
(
P. Bruno, F. Calimeri , F. Cauteruccio , M. Maratea, G. Terracina , M. Vallati
)
zur Publikation |
Titel der Serie: | CEUR Workshop Proceedings |
Bandnummer: | 3281 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 78 - 89 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 21.11.2022 |
ISBN (e-book): | - |
eISSN: | 1613-0073 |
DOI: | - |
Homepage: | http://ceur-ws.org/Vol-3281/paper7.pdf |
Open Access |
|
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 |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: |
|
Vorträge: |
|