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

Event name

Start date

03-11-2021

End date

12-11-2021

Location

virtual event

Country

Event format Veranstaltungsformat

Online

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

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