AAAI Conference

View Statistics Email Alert RSS Feed

Description

Event name
AAAI Conference
 
Event type
Event for scientific audience
 
Start date
22-07-2012
End date
26-07-2012
 
Location
Toronto, Kanada
Toronto, Kanada
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsKonferenzbeitrag Inproceedings 2013
2Gaspers, Serge ; Kim, Eun Jung ; Ordyniak, Sebastian ; Saurabh, Saket ; Szeider, Stefan Don't Be Strict in Local Search!Konferenzbeitrag Inproceedings 2012
3Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael LARS: A Logic-based Framework for Analyzing Reasoning over StreamsKonferenzbeitrag Inproceedings 2015
4Gaspers, Serge ; Koivisto, Mikko ; Liedloff, Mathieu ; Ordyniak, Sebastian ; Szeider, Stefan On Finding Optimal PolytreesKonferenzbeitrag Inproceedings 2012
5Kanj, Iyad ; Szeider, Stefan On the Subexponential Time Complexity of CSPKonferenzbeitrag Inproceedings 2013
6de Haan, Ronald ; Roubickova, Anna ; Szeider, Stefan Parameterized Complexity Results for Plan ReuseKonferenzbeitrag Inproceedings 2013
7Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming EncodingsKonferenzbeitrag Inproceedings 2019
8Bova, Simone Maria SDDs Are Exponentially More Succinct than OBDDsKonferenzbeitrag Inproceedings 2016
9Ganian, Robert ; Ordyniak, Sebastian The Complexity Landscape of Decompositional Parameters for ILPKonferenzbeitrag Inproceedings 2016
10Bäckström, Christer ; Chen, Yue ; Jonsson, Peter ; Ordyniak, Sebastian ; Szeider, Stefan The Complexity of Planning Revisited - A Parameterized AnalysisKonferenzbeitrag Inproceedings 2012
11Fellows, Michael R. ; Pfandler, Andreas ; Rosamond, Frances A. ; Rümmele, Stefan The Parameterized Complexity of AbductionKonferenzbeitrag Inproceedings 2012
12Eiben, Eduard ; Ganian, Robert ; Ordyniak, Sebastian Using Decomposition-Parameters for QBF: Mind the Prefix!Konferenzbeitrag Inproceedings 2016
13Brewka, Gerhard ; Strass, Hannes ; Wallner, Johannes Peter ; Woltran, Stefan Weighted Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2018