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

Event name
26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
Event type
Event for scientific audience
Start date
End date
Melbourne, Australia
Melbourne, Australia
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue 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 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 Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)Konferenzbeitrag Inproceedings 2017
7Eiter, Thomas ; Kaminski, Tobias ; Weinzierl, Antonius 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 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