Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016

Event name
Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016
 
Event type
Event for scientific audience
 
Start date
09-07-2016
End date
15-07-2016
 
Location
New York, NY, USA
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-10 of 10 (Search time: 0.024 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ASP for Anytime Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
2Bliem, Bernhard ; Bredereck, Robert ; Niedermeier, Rolf Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility LevelsKonferenzbeitrag Inproceedings 2016
3Haret, Adrian ; Mailly, Jean-Guy ; Woltran, Stefan Distributing Knowledge Into Simple BasesKonferenzbeitrag Inproceedings 2016
4Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas Equivalent Stream Reasoning ProgramsKonferenzbeitrag Inproceedings 2016
5Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessKonferenzbeitrag Inproceedings 2016
6Dunne, Paul E. ; Linsbichler, Thomas ; Spanring, Christof ; Woltran, Stefan Investigating the relationship between argumentation semantics via signatureKonferenzbeitrag Inproceedings 2016
7Berger, Gerald ; Pieris, Andreas Ontology-Mediated Queries Distributing over ComponentsKonferenzbeitrag Inproceedings 2016
8Ahmetaj, Shqiponja ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Polynomial Datalog Rewritings for Expressive Description Logics with Closed PredicatesKonferenzbeitrag Inproceedings 2016
9Saribatur, Zeynep Gözen Reactive Policy Checking for Action LanguagesKonferenzbeitrag Inproceedings 2016
10Lonsing, Florian Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and ChallengesPräsentation Presentation2016