jörg siekmann

Resource-Adaptive Cognitive Processes

The contributions to this volume are drawn from the interdisciplinary research c- ried out within...

Cognitive Systems

This book constitutes the thoroughly refereed post-proceedings of the Joint Chinese-German Worksh...

Knowledge Science, Engineering and Management

This book constitutes the refereed proceedings of the Second International Conference on Knowledg...

Computational Logic

Handbook of the History of Logic brings to the development of logic the best in modern techniques...

Studien- und Forschungsführer Künstliche Intelligenz

Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überbli...

Künstliche Intelligenz

Artificial Intelligence and Soft Computing - ICAISC 2004

This book constitutes the refereed proceedings of the 7th International Conference on Artificial ...

GWAI-81

Knowledge Science, Engineering and Management

This book constitutes the refereed proceedings of the Second International Conference on Knowl...

8th International Conference on Automated Deduction

Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutat...

Resource-Adaptive Cognitive Processes

The contributions to this volume are drawn from the interdisciplinary research c- ried out within...

Künstliche Intelligenz

Unsere Zeit ist geprägt von immer komplexeren Systemen und Mechanismen. Gemeint sind die natürlic...