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