This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Lan

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University

This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Comput

This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both the

An introduction to many-sorted logic as an extension of first-order logic.