دانلود رایگان مقالات نشریه ISI هوش مصنوعی

Automated verification of state sequence invariants in general game playing

30 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

On the approximability of Dodgson and Young elections

21 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Conflict-driven answer set solving: From theory to practice

38 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Learning from others: Exchange of classification rules in intelligent distributed systems

25 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Reinforcement learning with limited reinforcement: Using Bayes risk for active learning in POMDPs

18 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Local properties in modal logic

23 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Magic Sets for disjunctive Datalog programs

37 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه