This volume contains the tutorial papers of the Summer School ¿Reasoning Web,¿July25¿29,2005(http...

Rules and Ontologies for the Semantic Web.- Managing Uncertainty and Vagueness in Description Log...

This volume consists of the papers accepted for presentation at the second international workshop...

The aim of the workshop was to discuss whether research on implementation of programming language...

This volume contains invited and selected papers presented at the symposium PLILP '91. The aim of...

Foundations of Semantic Web Reasoning.- Composing Frameworks and Components for Families of Seman...

The objective of this state-of-the-art survey is to give a coherent overview of the main topics a...

The themes of the 1997 conference are new theoretical and practical accomplishments in logic prog...

Keine ausführliche Beschreibung für 'Formale Beschreibung von Programmiersprachen' verfügbar.