International Joint Conference on Artificial Intelligence (IJCAI)

View Statistics Email Alert RSS Feed

Description

Event name
International Joint Conference on Artificial Intelligence (IJCAI)
 
Event type
Event for scientific audience
 
Start date
30-07-2005
End date
05-08-2005
 
Location
Edinburgh, Scotland, UK
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]
Date Issued:  [2000 TO 2009]

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set ProgrammingKonferenzbeitrag Inproceedings 2005
2Eiter, Thomas ; Simkus, Mantas Bidirectional Answer Set Programs with Function SymbolsKonferenzbeitrag Inproceedings 2009
3Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Complexity Results for Checking Equivalence of Stratified Logic ProgramsKonferenzbeitrag Inproceedings 2007
4Hermann, Miki ; Pichler, Reinhard Counting Complexity of Propositional AbductionKonferenzbeitrag Inproceedings 2007
5De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base CombinationKonferenzbeitrag Inproceedings 2007
6Samer, Marko Hypertree-decomposition via Branch-decompositionKonferenzbeitrag Inproceedings 2005
7Eiter, Thomas ; Erdem, Esra ; Faber, Wolfgang On Reversing Actions: Algorithms and ComplexityKonferenzbeitrag Inproceedings 2007
8Eiter, Thomas ; Tompits, Hans ; Woltran, Stefan On Solution Correspondences in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
9Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Query Answering in Description Logics with Transitive RolesKonferenzbeitrag Inproceedings 2009
10Calvanese, Diego ; Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena Regular Path Queries in Expressive Description Logics with NominalsKonferenzbeitrag Inproceedings 2009
11Farinelli, Alessandro ; Finzi, Alberto ; Lukasiewicz, Thomas Team Programming in Golog under Partial ObservabilityKonferenzbeitrag Inproceedings 2007
12Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Updating Action Domain DescriptionsKonferenzbeitrag Inproceedings 2005