Proceedings of the AAAI Conference on Artificial Intelligence

Book title Buchtitel
Proceedings of the AAAI Conference on Artificial Intelligence
Publisher Herausgeber
AAAI Press
Place of publishing Erscheinungsort
Series Schriftenreihe
Proceedings of the AAAI Conference on Artificial Intelligence

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Ganian, Robert ; Hamm, Thekla ; Talvitie, Topi An Efficient Algorithm for Counting Markov Equivalent DAGsKonferenzbeitrag Inproceedings 2020
2Dvořák, Wolfgang ; Woltran, Stefan Complexity of Abstract Argumentation under a Claim-Centric ViewKonferenzbeitrag Inproceedings 2019
3Fichte, Johannes K. ; Hecher, Markus ; Meier, Arne Counting Complexity for Reasoning in Abstract ArgumentationKonferenzbeitrag Inproceedings 2019
4Bomanson, Jori ; Janhunen, Tomi ; Weinzierl, Antonius Enhancing Lazy Grounding with Lazy Normalization in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2019
5Musliu, Nysret ; Winter, Felix ; Stuckey, Peter J. Explaining Propagators for String Edit Distance ConstraintsKonferenzbeitrag Inproceedings 2020
6Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan Forgetting in Modular Answer Set ProgrammingKonferenzbeitrag Inproceedings 2019
7Maly, Jan Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of SetsKonferenzbeitrag Inproceedings 2020
8Bloembergen, Daan ; Grossi, Davide ; Lackner, Martin On Rational Delegations in Liquid DemocracyKonferenzbeitrag Inproceedings 2019
9Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small RankKonferenzbeitrag Inproceedings 2020
10Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu On The Verification of Neural ODEs with Stochastic GuaranteesKonferenzbeitrag Inproceedings2021
11Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian Parameterized Complexity of Envy-Free Resource Allocation in Social NetworksKonferenzbeitrag Inproceedings 2020
12Brand, Cornelius ; Ganian, Robert ; Simonov, Kirill A Parameterized Theory of PAC LearningInproceedings Konferenzbeitrag 2023
13Chen, Jiehua ; Lackner, Martin ; Maly, Jan Participatory Budgeting with Donations and Diversity ConstraintsInproceedings Konferenzbeitrag 28-Jun-2022
14Lackner, Martin Perpetual Voting: Fairness in Long-Term Decision MakingKonferenzbeitrag Inproceedings 2020
15Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. Proportional Belief MergingKonferenzbeitrag Inproceedings 2020
16Andresel, Medina ; Ortiz, Magdalena ; Simkus, Mantas Query Rewriting for Ontology-Mediated Conditional AnswersKonferenzbeitrag Inproceedings 2020
17Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming EncodingsKonferenzbeitrag Inproceedings 2019
18Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Relaxing and Restraining Queries for OBDAKonferenzbeitrag Inproceedings 2019
19Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Lukumbuzya, Sanja Resilient Logic Programs: Answer Set Programs Challenged by OntologiesKonferenzbeitrag Inproceedings 2020
20Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan Strong Equivalence for Epistemic Logic Programs Made EasyKonferenzbeitrag Inproceedings 2019