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
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Calvanese, Diego ; Carbotta, Domenico ; Ortiz de la Fuente, M.Magdalena ; Walsh, Toby A Practical Automata-Based Technique for Reasoning in Expressive Description LogicsKonferenzbeitrag Inproceedings 2011
2Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set ProgrammingKonferenzbeitrag Inproceedings 2005
3Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas Answer Update for Rule-based Stream ReasoningKonferenzbeitrag Inproceedings 2015
4Ordyniak, Sebastian ; Szeider, Stefan ; Walsh, Toby Augmenting Tractable Fragments of Abstract ArgumentationKonferenzbeitrag Inproceedings 2011
5Fichte, Johannes ; Szeider, Stefan ; Walsh, Toby Backdoors to Tractable Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2011
6Eiter, Thomas ; Simkus, Mantas ; Boutilier, Craig Bidirectional Answer Set Programs with Function SymbolsKonferenzbeitrag Inproceedings 2009
7Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan ; Veloso, Manuela Complexity Results for Checking Equivalence of Stratified Logic ProgramsKonferenzbeitrag Inproceedings 2007
8Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)Konferenzbeitrag Inproceedings 2015
9Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Walsh, Toby Containment of Regular Path Queries under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2011
10Hermann, Miki ; Pichler, Reinhard Counting Complexity of Propositional AbductionKonferenzbeitrag Inproceedings 2007
11De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans ; Veloso, Manuela Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base CombinationKonferenzbeitrag Inproceedings 2007
12Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract)Konferenzbeitrag Inproceedings 2018
13Samer, Marko ; Kaelbling, Leslie Pack ; Saffiotti, Alessandro Hypertree-decomposition via Branch-decompositionKonferenzbeitrag Inproceedings 2005
14Ortiz, Magdalena Improving Data Management using Domain KnowledgeKonferenzbeitrag Inproceedings2018
15Gaspers, Serge ; Szeider, Stefan Kernels for Global ConstraintsKonferenzbeitrag Inproceedings 2011
16Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich Knowledge Compilation Meets Communication ComplexityKonferenzbeitrag Inproceedings 2016
17Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius ; Walsh, Toby Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
18Eiter, Thomas ; Erdem, Esra ; Faber, Wolfgang ; Veloso, Manuela On Reversing Actions: Algorithms and ComplexityKonferenzbeitrag Inproceedings 2007
19Eiter, Thomas ; Tompits, Hans ; Woltran, Stefan On Solution Correspondences in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
20Dvorak, Wolfgang ; Dunne, Paul E. ; Woltran, Stefan ; Walsh, Toby Parametric Properties of Ideal SemanticsKonferenzbeitrag Inproceedings 2011