Projects

• Reasoning Research Group
• LP & NN (RRG project)

Promoted BA projects

• Aleksandra Czyż [abstract]
  Finding models for logic programs with Clark’ s Completion. Implementation in programming language Haskell
• Kinga Ordecka [abstract]
  Haskell Implementation of Immediate Consequence Operator
• Agnieszka Ostrowska [abstract]
  Image inpainting using Convolutional Neural Network and OpenCV library
• Piotr Sowiński [abstract]
  Neural-symbolic integration in Python
• Ziółkowski Grzegorz [abstract]
  Deep Q-Learning in the Snake game

Promoted MA projects

• Maciej Pietrowski [abstract]
  Static Motion Illusion Seen by a Neural Network