18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit An Approximate Model Counter for ASPKonferenzbeitrag Inproceedings 2020
2Fichte, Johannes ; Hecher, Markus Counting with Bounded Treewidth: Meta Algorithm and Runtime GuaranteesKonferenzbeitrag Inproceedings 2020
3Dvorak, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Weak Admissibility is PSPACE-completeKonferenzbeitrag Inproceedings 2020