Michal Wrona, Video: Algebraic Algorithms for the Inference Problem in Propositional Circumscription

Michal Wrona, Video: Algebraic Algorithms for the Inference Problem in Propositional Circumscription

Michal Wrona, Algebraic Algorithms for the Inference Problem in Propositional Circumscription, Algebraic and Model Theoretical Methods in Constraint Satisfaction, BIRS, BIRS talk, 14w5136, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

49M

http://www.birs.ca/events/2014/5-day-workshops/14w5136/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5136/videos/watch/201411251121-Wrona.html