Archives and Documentation Center
Digital Archives

Browsing by Subject "Automatic theorem proving."

Browsing by Subject "Automatic theorem proving."

Sort by: Order: Results:

  • 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, ...

Search Digital Archive

Browse

My Account