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