This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and...

This volume contains the papers presented at the ¿Second International S- posium on Foundations o...

Invited Papers.- A Computational Logic Approach to Heterogenous Agent Systems.- Declarative Infor...

This volume contains the lecture notes of the 8th Reasoning Web Summer School 2012, held in Vienn...

This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held i...

This volume collects the papers presented at the 10th International Conference on Database Theory...

This volume contains the contributions to the Joint German Austrian Con- rence on Arti?cial Intel...

Description Logics.- Answer Set Programming: A Primer.- Logical Foundations of XML and XQuery.- F...

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th annive...