NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING

View Statistics Email Alert RSS Feed

Description

Event name
NMR 2020 - 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
 
Event type
Event for scientific audience
 
Start date
12-09-2020
End date
18-09-2020
 
Location
Rhodes, Greece
Rhodes, Greece
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-6 of 6 (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
3Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan Forgetting in Modular Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
4Bogaerts, Bart ; Marynissen, Simon ; Weinzierl, Antonius Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
5Fandinno, Jorge ; Hecher, Markus Treewidth-Aware Complexity in ASP:Not all Positive Cycles are Equally HardKonferenzbeitrag Inproceedings 2020
6Dvorak, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Weak Admissibility is PSPACE-completeKonferenzbeitrag Inproceedings 2020