Tomi Janhunen
6 papers · 2013–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Academic Marathon (11) π Cross-Pollinator (13)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(15)
π
Keyword Champion
π
Conference Pioneer
π
Trend Setter
Conferences
IJCAI (3)
AAAI (2)
NIPS (1)
Top co-authors
Keywords
answer set programming
(3)
constraint satisfaction
(2)
logic programming
(2)
knowledge representation
(2)
linear programming
(1)
integer programming
(1)
complexity analysis
(1)
markov network structure
(1)
bayesian network
(1)
graphical model
(1)
probabilistic graphical model
(1)
spatial reasoning
(1)
markov network
(1)
lazy grounding
(1)
qualitative spatial reasoning
(1)
scenario analysis
(1)
rule-based system
(1)
stable model
(1)
acyclicity constraint
(1)
answer-set programming
(1)
Papers
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming
IJCAI 2024
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)
IJCAI 2024
On Robustness in Qualitative Constraint Networks
IJCAI 2020
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming
AAAI 2019
Forgetting in Modular Answer Set Programming
AAAI 2019
Learning Chordal Markov Networks by Constraint Satisfaction
NIPS 2013