National Conference on Artificial Intelligence (AAAI)

Event name
National Conference on Artificial Intelligence (AAAI)
Event type
Event for scientific audience
Start date
End date
Pittsburgh, Pennsylvania, USA
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-12 of 12 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gaspers, Serge ; Misra, Neeldhara ; Ordyniak, Sebastian ; Szeider, Stefan ; Zivný, Stanislav Backdoors into Heterogeneous Classes of SAT and CSPKonferenzbeitrag Inproceedings 2014
2Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description LogicsKonferenzbeitrag Inproceedings 2006
3Erdem, Esra ; Gabaldon, Alfredo ; Veloso, Manuela ; Kambhampati, Subbarao Cumulative Effects of Concurrent Actions on Numeric-Valued FluentsKonferenzbeitrag Inproceedings 2005
4Brewka, Gerd ; Eiter, Thomas Equilibria in Heterogeneous Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2007
5Eiter, Thomas ; Fink, Michael ; Senko, Jan ; Fox, Dieter ; Gomes, Carla P. Error Classification in Action Descriptions: A Heuristic Approach.Konferenzbeitrag Inproceedings 2008
6Eiter, Thomas ; Wang, Kewen Forgetting and Conflict Resolving in Disjunctive Logic ProgrammingKonferenzbeitrag Inproceedings 2006
7Erdem, Esra ; Tillier, Elisabeth R. M. ; Veloso, Manuela ; Kambhampati, Subbarao Genome Rearrangement and PlanningKonferenzbeitrag Inproceedings 2005
8Szeider, Stefan Limits of PreprocessingKonferenzbeitrag Inproceedings 2011
9Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground CaseKonferenzbeitrag Inproceedings 2005
10Lukasiewicz, Thomas ; Straccia, Umberto Tutorial on Managing Uncertainty and Vagueness in Semantic Web LanguagesPräsentation Presentation2007
11Baral, Chitta ; Eiter, Thomas ; Zhao, Jicheng ; Veloso, Manuela ; Kambhampati, Subbarao Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic DomainsKonferenzbeitrag Inproceedings 2005
12Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Fox, Dieter ; Gomes, Carla P. Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without InversesKonferenzbeitrag Inproceedings 2008