Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
 
Publisher Herausgeber
IJCAI
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]

Results 1-11 of 11 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schockaert, Steven ; Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor A Description Logic for Analogical ReasoningKonferenzbeitrag Inproceedings 2021
2Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving UpKonferenzbeitrag Inproceedings 2021
3Lukumbuzya, Sanja ; Simkus, Mantas Bounded Predicates in Description Logics with CountingKonferenzbeitrag Inproceedings 2021
4Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice Logics and Their Computational PropertiesKonferenzbeitrag Inproceedings 2021
5Schidler, Andre ; Szeider, Stefan Computing Optimal Hypertree Decompositions with SATKonferenzbeitrag Inproceedings 2021
6Fichte, Johannes ; Hecher, Markus ; Mahmood, Yasir ; Meier, Arne Decomposition-Guided Reductions for Argumentation and TreewidthKonferenzbeitrag Inproceedings 2021
7Lackner, Martin ; Maly, Jan ; Rey, Simon Fairness in Long-Term Participatory BudgetingKonferenzbeitrag Inproceedings 2021
8Peitl, Tomáš ; Szeider, Stefan Finding the Hardest Formulas for Resolution (Extended Abstract)Konferenzbeitrag Inproceedings 2021
9Chen, Jiehua ; Roy, Sanjukta ; Sorge, Manuel Fractional Matchings under Preferences: Stability and OptimalityKonferenzbeitrag Inproceedings 2021
10Eiter, Thomas ; Hunter, Aaron ; Schwarzentruber, Francois How Hard to Tell? Complexity of Belief Manipulation Through Propositional AnnouncementsKonferenzbeitrag Inproceedings2021
11Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian The Parameterized Complexity of Connected Fair DivisionKonferenzbeitrag Inproceedings 2021