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]

Results 1-20 of 29 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Calvanese, Diego ; Carbotta, Domenico ; Ortiz de la Fuente, M.Magdalena 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 Augmenting Tractable Fragments of Abstract ArgumentationKonferenzbeitrag Inproceedings 2011
5Fichte, Johannes ; Szeider, Stefan Backdoors to Tractable Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2011
6Eiter, Thomas ; Simkus, Mantas Bidirectional Answer Set Programs with Function SymbolsKonferenzbeitrag Inproceedings 2009
7Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan 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 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 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 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 Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
18Eiter, Thomas ; Erdem, Esra ; Faber, Wolfgang 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 Parametric Properties of Ideal SemanticsKonferenzbeitrag Inproceedings 2011