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
Extended ASP tableaux and rule redundancy in normal logic programs
No associations
LandOfFree
Emilia Oikarinen does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Emilia Oikarinen, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Emilia Oikarinen will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-158153