Twenty-third International Conference on Artificial Intelligence (IJCAI-13)

Event name
Twenty-third International Conference on Artificial Intelligence (IJCAI-13)
 
Event type
Event for scientific audience
 
Start date
03-08-2013
End date
09-08-2013
 
Location
Peking
Country
China
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pfandler, Andreas ; Rümmele, Stefan ; Szeider, Stefan Backdoors to AbductionKonferenzbeitrag Inproceedings 1-Jan-2013
2Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Conjunctive Regular Path Queries in Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
3Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 1-Jan-2013
4Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Konferenzbeitrag Inproceedings 2013
5Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Parameterized Complexity of Optimal Planning: A Detailed MapKonferenzbeitrag Inproceedings 1-Jan-2013
6Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013