Tomi Janhunen
6 papers · 2013–2024 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (15) 🐣 Hot Topic Early Bird
🧭
Keyword Pioneer
🏆
Keyword Champion
🚀
Conference Pioneer
📈
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Mathematics & Optimization
(4)
Optimization
(4)
Computer Science
(2)
Machine Learning
(2)
Foundations
(2)
Optimization & Theory
(2)
Knowledge & Reasoning
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Core Methods
(1)
Learning Types
(1)
Reasoning
(1)
Keywords
answer set programming
(4)
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)
propositional satisfiability
(1)
qualitative spatial reasoning
(1)
scenario analysis
(1)
rule-based system
(1)
stable model
(1)
acyclicity constraint
(1)
Papers
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)
IJCAI 2024
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming
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
NeurIPS 2013