NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
Event name
NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
Start date
12-09-2020
End date
18-09-2020
Location
Rhodes, Greece
Country
Event format Veranstaltungsformat
On Site
Results 1-6 of 6 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit | An Approximate Model Counter for ASP | Konferenzbeitrag Inproceedings  | 2020 | |
| 2 | Fichte, Johannes ; Hecher, Markus | Counting with Bounded Treewidth: Meta Algorithm and Runtime Guarantees | Konferenzbeitrag Inproceedings | 2020 | |
| 3 | Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan | Forgetting in Modular Answer Set Programming | Konferenzbeitrag Inproceedings | 2020 | |
| 4 | Bogaerts, Bart ; Marynissen, Simon ; Weinzierl, Antonius ; Martinez, Maria Vanina ; Varzinczak, Ivan | Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming | Konferenzbeitrag Inproceedings | 2020 | |
| 5 | Fandinno, Jorge ; Hecher, Markus | Treewidth-Aware Complexity in ASP:Not all Positive Cycles are Equally Hard | Konferenzbeitrag Inproceedings | 2020 | |
| 6 | Dvorak, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan | Weak Admissibility is PSPACE-complete | Konferenzbeitrag Inproceedings | 2020 |