26th International Joint Conference on Artificial Intelligence (IJCAI 2017)

Event name
26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
 
Start date
19-08-2017
End date
25-08-2017
 
Location
Melbourne, Australia
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan ; Baumann, Ringo A General Notion of Equivalence for Abstract ArgumentationKonferenzbeitrag Inproceedings2017
2Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan A SAT Approach to BranchwidthKonferenzbeitrag Inproceedings 2017
3Baumann, Ringo ; Spanring, Christof A Study of Unrestricted Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings2017
4Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin ; Bacchus, Fahiem Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?Konferenzbeitrag Inproceedings 2017
5Redl, Christoph Conflict-driven ASP Solving with External Sources and Program SplitsKonferenzbeitrag Inproceedings 2017
6Eiter, Thomas ; Shen, Yi-Dong ; Sierra, Carles Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)Konferenzbeitrag Inproceedings 2017
7Eiter, Thomas ; Kaminski, Tobias ; Weinzierl, Antonius ; Sierra, Carles Lazy-Grounding for Answer Set Programs with External Source AccessKonferenzbeitrag Inproceedings 2017
8Morak, Michael ; Pieris, Andreas ; Bourhis, Pierre Making Cross Products and Guarded Ontology Languages CompatibleKonferenzbeitrag Inproceedings2017
9Kröll, Markus ; Pichler, Reinhard ; Woltran, Stefan On the Complexity of Enumerating the Extensions of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings2017
10Erkinger, Christoph ; Musliu, Nysret Personnel Scheduling as Satisfiability Modulo TheoriesKonferenzbeitrag Inproceedings 2017
11Eiter, Thomas ; Dao-Tran, Minh ; Sierra, Carles Streaming Multi-Context SystemsKonferenzbeitrag Inproceedings 2017
12Bellomarini, Luigi ; Gottlob, Georg ; Pieris, Andreas ; Sallinger, Emanuel Swift Logic for Big Data and Knowledge GraphsKonferenzbeitrag Inproceedings2017
13Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017