Arşiv ve Dokümantasyon Merkezi
Dijital Arşivi

Konu "Automatic theorem proving." için Bilgisayar Mühendisliği listeleme

Konu "Automatic theorem proving." için Bilgisayar Mühendisliği listeleme

Sırala: Sıra: Sonuçlar:

  • Automated reasoning on exceptions in commitment-based multiagent systems 
    Kafalı, Remzi Özgür. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2012., 2012.)
    Exceptions constitute a signi cant portion of people's lives. When things do not go as planned, due to environmental reasons or because one does not bring about his responsibility in a given task, unexpected situations ...
  • Mixture of experts learning in automated theorem proving 
    Erkek, Cemal Acar. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2010., 2010.)
    The main challenge of automated theorem proving is to find a way to shorten the search process. Therefore using a good heuristic method is essential. Although there are several heuristics that improve the search techniques, ...