|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Berger, Gerald ; Pieris, Andreas | Ontology-Mediated Queries Distributing over Components | Konferenzbeitrag Inproceedings  | 2016 |
| 2 | | Bliem, Bernhard ; Bredereck, Robert ; Niedermeier, Rolf | Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels | Konferenzbeitrag Inproceedings | 2016 |
| 3 | | Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan | ASP for Anytime Dynamic Programming on Tree Decompositions | Konferenzbeitrag Inproceedings | 2016 |
| 4 | | Saribatur, Zeynep Gözen | Reactive Policy Checking for Action Languages | Konferenzbeitrag Inproceedings | 2016 |
| 5 | | Haret, Adrian ; Mailly, Jean-Guy ; Woltran, Stefan | Distributing Knowledge Into Simple Bases | Konferenzbeitrag Inproceedings | 2016 |
| 6 | | Dunne, Paul E. ; Linsbichler, Thomas ; Spanring, Christof ; Woltran, Stefan | Investigating the relationship between argumentation semantics via signature | Konferenzbeitrag Inproceedings | 2016 |
| 7 | | Ahmetaj, Shqiponja ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates | Konferenzbeitrag Inproceedings | 2016 |
| 8 | | Erdem, Esra ; Gabaldon, Alfredo | Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents | Konferenzbeitrag Inproceedings | 2005 |
| 9 | | Erdem, Esra ; Tillier, Elisabeth R. M. | Genome Rearrangement and Planning | Konferenzbeitrag Inproceedings | 2005 |
| 10 | | Baral, Chitta ; Eiter, Thomas ; Zhao, Jicheng | Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains | Konferenzbeitrag Inproceedings | 2005 |
