P
PaperPicks
Conferences
Researchers
Sponsors ♥
Andreas Niskanen
8 papers at tracked venues · 1 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
KR
×3
ECAI
×2
AAAI
×1
AAMAS
×1
IJCAI
×1
Frequent coauthors
Matti Järvisalo
×8
Ari Conati
×3
Ronald de Haan
×3
Masood Feyzbakhsh Rankooh
×2
Tuomo Lehtonen
×2
Céline Hocquette
×2
Andrew Cropper
×2
Rolf Morel
×1
Papers
Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games
BibTeX ⧉
KR 2026
·
Ari Conati
,
Andreas Niskanen
,
Ronald de Haan
,
Matti Järvisalo
Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT
BibTeX ⧉
AAMAS 2025
·
Ari Conati
,
Andreas Niskanen
,
Ronald de Haan
,
Matti Järvisalo
Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
BibTeX ⧉
KR 2025
·
Masood Feyzbakhsh Rankooh
,
Andreas Niskanen
,
Matti Järvisalo
Reasoning in Assumption-Based Argumentation via SAT
BibTeX ⧉
KR 2025
·
Andreas Niskanen
,
Masood Feyzbakhsh Rankooh
,
Tuomo Lehtonen
,
Matti Järvisalo
Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
BibTeX ⧉
ECAI 2024
·
Ari Conati
,
Andreas Niskanen
,
Ronald de Haan
,
Matti Järvisalo
Learning Big Logical Rules by Joining Small Rules
BibTeX ⧉
IJCAI 2024
·
Céline Hocquette
,
Andreas Niskanen
,
Rolf Morel
,
Matti Järvisalo
,
Andrew Cropper
Learning MDL Logic Programs from Noisy Data
BibTeX ⧉
AAAI 2024
·
Céline Hocquette
,
Andreas Niskanen
,
Matti Järvisalo
,
Andrew Cropper
SAT-Based Approaches to Reasoning in Choice Logics
BibTeX ⧉
ECAI 2024
·
Tuomo Lehtonen
,
Andreas Niskanen
,
Matti Järvisalo