|
| | Preview | Author(s) | Title | Type | Issue Date |
| 441 | | Gaggl, Sara A. ; Linsbichler, Thomas ; Maratea, Marco ; Woltran, Stefan | Summary Report of the Second International Competition on Computational Models of Argumentation | Artikel Article  | 2018 |
| 442 | | Brochenin, Remi ; Linsbichler, Thomas ; Maratea, Marco ; Wallner, Johannes P. ; Woltran, Stefan | Abstract Solvers for Dung's Argumentation Frameworks | Artikel Article | 2018 |
| 443 | | Diller, Martin ; Linsbichler, Thomas ; Woltran, Stefan ; Brewka, Gerhard ; Heissenberger, Georg | Solving Advanced Argumentation Problems with Answer-Set Programming | Konferenzbeitrag Inproceedings | 2017 |
| 444 | | Dvorak, Wolfgang | A General Notion of Equivalence for Abstract Argumentation | Konferenzbeitrag Inproceedings | 2017 |
| 445 | | Haret, Adrian ; Woltran, Stefan | Deviation in Belief Change on Fragments of Propositional Logic | Konferenzbeitrag Inproceedings | 2017 |
| 446 | | Fichte, Johannes ; Szeider, Stefan | Backdoor Trees for Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
| 447 | | Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan | Answer Set Solving with Bounded Treewidth Revisited | Konferenzbeitrag Inproceedings | 2017 |
| 448 | | Morak, Michael ; Pieris, Andreas ; Bourhis, Pierre | Making Cross Products and Guarded Ontology Languages Compatible | Konferenzbeitrag Inproceedings | 2017 |
| 449 | | Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
| 450 | | Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan ; Baumann, Ringo | A General Notion of Equivalence for Abstract Argumentation | Konferenzbeitrag Inproceedings | 2017 |
| 451 | | GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN | When you must forget: Beyond strong persistence when forgetting in answer set programming | Artikel Article | 2017 |
| 452 | | Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana | SEA-PARAM: Exploring Schedulers in Parametric MDPs | Konferenzbeitrag Inproceedings | 2017 |
| 453 | | Bellomarini, Luigi ; Gottlob, Georg ; Pieris, Andreas ; Sallinger, Emanuel | Swift Logic for Big Data and Knowledge Graphs | Konferenzbeitrag Inproceedings | 2017 |
| 454 | | Gottlob, Georg ; Pichler, Reinhard ; Sallinger, Emanuel | Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability | Konferenzbeitrag Inproceedings | 2017 |
| 455 | | Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel | Computational Social Choice in the Clouds | Konferenzbeitrag Inproceedings | 2017 |
| 456 | | Kröll, Markus ; Pichler, Reinhard ; Woltran, Stefan | On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks | Konferenzbeitrag Inproceedings | 2017 |
| 457 | | Woltran, Stefan | Towards Preprocessing for Abstract Argumentation Frameworks | Konferenzbeitrag Inproceedings | 2017 |
| 458 | | Creignou, Nadia ; Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian ; Vollmer, Heribert | On the Complexity of Hard Enumeration Problems | Konferenzbeitrag Inproceedings | 2017 |
| 459 | | Pfandler, Andreas ; Endres, Markus | Workshop Präferenzen und Personalisierung in der Informatik (PPI17) | Konferenzbeitrag Inproceedings | 2017 |
| 460 | | Morak, Michael ; Bichler, Manuel ; Woltran, Stefan | lpopt: A Rule Optimization Tool for Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
