18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
Book title Buchtitel
18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
Results 1-3 of 3 (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 | Dvorak, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan | Weak Admissibility is PSPACE-complete | Konferenzbeitrag Inproceedings | 2020 |