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

View Statistics Email Alert RSS Feed

Description

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.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ; Kambhampati, Subbarao ASP for Anytime Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
2Bliem, Bernhard ; Bredereck, Robert ; Niedermeier, Rolf ; Kambhampati, Subbarao Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility LevelsKonferenzbeitrag Inproceedings 2016
3Haret, Adrian ; Mailly, Jean-Guy ; Woltran, Stefan ; Kambhampati, Subbarao 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 ; Kambhampati, Subbarao Investigating the relationship between argumentation semantics via signatureKonferenzbeitrag Inproceedings 2016
7Berger, Gerald ; Pieris, Andreas ; Kambhampati, Subbarao Ontology-Mediated Queries Distributing over ComponentsKonferenzbeitrag Inproceedings 2016
8Ahmetaj, Shqiponja ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Kambhampati, Subbarao Polynomial Datalog Rewritings for Expressive Description Logics with Closed PredicatesKonferenzbeitrag Inproceedings 2016
9Saribatur, Zeynep Gözen ; Kambhampati, Subbarao 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