|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Ciabattoni, Agata ; Rusnok, Pavel | On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert Systems | Konferenzbeitrag Inproceedings | 2010 |
| 2 | | Oikarinen, Emilia ; Woltran, Stefan | Characterizing Strong Equivalence for Argumentation Frameworks | Konferenzbeitrag Inproceedings | 2010 |
| 3 | | Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan | Towards Fixed-Parameter Tractable Algorithms for Argumentation | Konferenzbeitrag Inproceedings | 2010 |
| 4 | | Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan | Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough | Konferenzbeitrag Inproceedings | 2010 |
| 5 | | Brewka, Gerd ; Woltran, Stefan | Abstract Dialectical Frameworks | Konferenzbeitrag Inproceedings | 2010 |
| 6 | | Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas | Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 | Konferenzbeitrag Inproceedings  | 2010 |
| 7 | | Eiter, Thomas ; Fink, Michael ; Moura, Joao | Paracoherent Answer Set Programming | Konferenzbeitrag Inproceedings | 2010 |
| 8 | | Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin | Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers | Konferenzbeitrag Inproceedings | 2010 |
| 9 | | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas | Distributed Nonmonotonic Multi-Context Systems | Konferenzbeitrag Inproceedings | 2010 |
| 10 | | Lukasiewicz, Thomas ; Ragone, Azzurra | A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation | Konferenzbeitrag Inproceedings | 2009 |
| 11 | | Cali, Andrea ; Gottlob, Georg ; Lukasiewicz, Thomas | Tractable Query Answering over Ontologies with Datalog+- | Konferenzbeitrag Inproceedings | 2009 |
| 12 | | Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas | Data Complexity of Answering Unions of Conjunctive Queries in SHIQ | Konferenzbeitrag Inproceedings | 2006 |
