Computer Science – Artificial Intelligence
Scientist
Computer Science
Artificial Intelligence
Scientist
Achieving compositionality of the stable model semantics for Smodels programs
Automated verification of weak equivalence within the SMODELS system
Translating Answer-Set Programs into Bit-Vector Logic
Unfolding Partiality and Disjunctions in Stable Model Semantics
No associations
LandOfFree
Tomi Janhunen does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Tomi Janhunen, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tomi Janhunen will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-158151