Vinay K. Chaudhri

An Architecture for Intelligence Using Prototypes, Composition and Analogy
VCLA International Student Awards
The Vienna Center for Logic and Algorithms announces the first edition of the VCLA International Student Awards
Stefan Mengel

Understanding model counting for beta-acyclic CNF-formulas
Wednesday, October 8, 2014 at 11:00
Johann A. Makowsky

Sets and Logic for CS: How to teach what is useful
Marco Maratea
Multi-Engine Answer Set Programming
Monday, October 27, 2014 at 15:00