This volume contains the proceedings of two Russianconferences on logicprogramming, held in 1...

From Hilbert's Program to a Logic Toolbox.- On the Notion of Vacuous Truth.- Whatever Happened to...

Nonmononic reasoning.- On the Complexity of Theory Curbing.- Descriptive complexity.- Graph Opera...

Higher-Order Termination: From Kruskal to Computability.- Deciding Satisfiability of Positive Sec...

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics C...

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatic...

This volume contains the papers presented at the Eighth International C- ference on Logic for Pro...

This book constitutes the proceedings of the 19th International Conference on Logic for Programmi...

This volume contains the papers presented at the Sixth International Conference on Logic for Prog...

From Tableaux to Automata for Description Logics.- Disproving False Conjectures.- A Formal Proof ...

This book constitutes the thoroughly refereed and revised post-workshop proceedings of two intern...