Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning
 
ISBN
978-1-956792-99-7
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue 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
3Saribatur, Zeynep G. ; Wallner, Johannes P. Existential Abstraction on Argumentation Frameworks via ClusteringInproceedings Konferenzbeitrag 2021
4Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthKonferenzbeitrag Inproceedings 2021
5Ahmetaj, Shqiponja ; David, Robert ; Ortiz, Magdalena ; Polleres, Axel ; Shehu, Bojken ; Šimkus, Mantas Reasoning about Explanations for Non-validation in SHACLKonferenzbeitrag Inproceedings 2021
6Aminof, Benjamin ; De Giacomo, Giuseppe ; Lomuscio, Alessio ; Murano, Aniello ; Rubin, Sasha Synthesizing Best-effort Strategies under Multiple Environment SpecificationsKonferenzbeitrag Inproceedings 2020
7Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
8Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021