National Conference on Artificial Intelligence (AAAI)

Event name
National Conference on Artificial Intelligence (AAAI)
 
Event type
Event for scientific audience
 
Start date
09-07-2005
End date
13-07-2005
 
Location
Pittsburgh, Pennsylvania, USA
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-12 of 12 (Search time: 0.002 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