Computer Science – Artificial Intelligence
Scientist
Computer Science
Artificial Intelligence
Scientist
Bounded LTL Model Checking with Stable Models
DES: a Challenge Problem for Nonmonotonic Reasoning Systems
Logic programs with monotone abstract constraint atoms
Logic programs with monotone cardinality atoms
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
No associations
LandOfFree
Ilkka Niemela does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Ilkka Niemela, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Ilkka Niemela will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-158171