21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

Event name
21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
 
Event type
Event for scientific audience
 
Start date
02-11-2024
End date
08-11-2024
 
Country
Viet Nam
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chew, Leroy ; de Colnet, Alexis ; Szeider, Stefan ASP-QRAT: A Conditionally Optimal Dual Proof System for ASPInproceedings Konferenzbeitrag 2024
2Cabalar-2024-Contracted Temporal Equilibrium Logic-vor.pdf.jpgCabalar, Pedro ; Eiter, Thomas ; Soldà, Davide Contracted Temporal Equilibrium LogicInproceedings Konferenzbeitrag 2024
3Di Stefano-2024-Equilibrium Description Logics Results on Complexity and ...-vor.pdf.jpgDi Stefano, Federica ; Simkus, Mantas Equilibrium Description Logics: Results on Complexity and Relations to CircumscriptionInproceedings Konferenzbeitrag 2024
4Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan Explaining Decisions in ML Models: A Parameterized Complexity AnalysisInproceedings Konferenzbeitrag 2024
5Saribatur, Zeynep G. ; Knorr, Matthias ; Goncalves, Ricardo ; Leite, Joao On Abstracting over the Irrelevant in Answer Set ProgrammingInproceedings Konferenzbeitrag 2024
6Fermüller, Christian Probabilistic interpretations of argumentative attacks: logical and experimental foundationsPresentation Vortrag8-Nov-2024
7Ciabattoni, Agata ; Eisenhofer, Clemens ; Rozplokhas, Dmitry Strongly Analytic Calculi for KLM Logics with SMT-Based ProverInproceedings Konferenzbeitrag 2024
8Blümel, Lydia ; König, Matthias ; Ulbricht, Markus Weak Admissibility for ABA via Abstract Set-AttacksInproceedings Konferenzbeitrag2024