KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning

View Statistics Email Alert RSS Feed

Description

Event name
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning
 
Event type
Event for scientific audience
 
Start date
03-11-2021
End date
12-11-2021
 
Location
virtual event
Country
 
Event format Veranstaltungsformat
Online

Publications Publikationen

Results 1-6 of 6 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Skočovský, Peter ; Stepanova, Daria Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingKonferenzbeitrag Inproceedings 2021
2Cauli, Claudia ; Ortiz, Magdalena ; Piterman, Nir Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure SecurityKonferenzbeitrag Inproceedings 2021
3Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthKonferenzbeitrag Inproceedings 2021
4Ahmetaj, Shqiponja ; David, Robert ; Ortiz, Magdalena ; Polleres, Axel ; Shehu, Bojken ; Šimkus, Mantas Reasoning about Explanations for Non-validation in SHACLKonferenzbeitrag Inproceedings 2021
5Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha Synthesizing Best-effort Strategies under Multiple Environment SpecificationsKonferenzbeitrag Inproceedings 2020
6Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021