Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

Book title Buchtitel
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Editor Herausgeber_in

Publications Publikationen

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

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