Publications

With its circle of Partners and Board Members, Dacos possesses extensive competency in the areas Artificial Intelligence and Trade and Marketing Research.

Prof. Dr. Joachim Hertel

Joachim Hertel
Optimizing Retail Marketing: The Retail Simulation Engine
in Joachim Zentes (Ed.): The Fascination of Retail – 50 Years of Saarbrucker Retail Industry Research, German Specialized Publishing House, Frankfurt, 2007.

Joachim Hertel, Joachim Zentes, Hanna Schramm-Klein
Supply Chain Management and ERP Systems in the Retail Industry,
Springer Publishing House, Berlin 2005

Joachim Hertel
ERP Systems, in Joachim Zentes: Retail Industry Handbook – Strategies, Perspectives, International Competition
Gabler, 2004

Joachim Hertel
ERP Systems – Principles and Concepts,
Physica Publishers, 3rd Edition, Heidelberg 1999

Joachim Hertel
Success Factor ERP Systems Under Special Consideration of the Intercompany Integration.
HMD - Praxis Wirtschaftsinformatik 1998 (1998)

Joachim Hertel
Design of Multilevel ERP Systems
Physica Publishers, Heidelberg 1992

 

Prof. Dr. Jörg Siekmann

J. Siekmann, P. Szabo
A Noetherian and Confluent Rewriting System for Idempotent Semigroups
Semigroup Forum 25, 1982, 83-110

R. Book, J. Siekmann
On Unification: Equational Theories are not Bounded
Journal of Symbolic Computation 2, 1986, 317-324

A. Herold, J. Siekmann: 
Unification in Abelian Semigroups
Journal of Automated Reasoning 3 (3), 1987, 247-283

J. Siekmann, P. Szabo
The Undecidability of the DA Unification Problem
Journal of Symbolic Logic, 54 (2), 1989, 402-414

J. Siekmann
Unification Theory
Journal of Symbolic Computation 7, 1989, 207-274

F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J.Siekmann
Concept Logics
In J.W. Lloyd (Ed.), Computational Logic, Symposium Proceedings, Brussels, November 1990, Springer-Verlag, 177-201.

C. Beierle, U. Hedtstück, U. Pletat, P. Schmitt, J. Siekmann: 
An Order sorted Logic for Knowledge Representation
Journal of Artificial Intelligence, vol. 55, 1992

J. Siekmann, M. Kohlhase, E. Melis
OMEGA: A Mathematical Assistance System
Kognitionswissenschaft, vol 7, No. 3, p 101-105, 1998
English in: JFAK, Essays dedicated to J. von Benthem, Amsterdam, Univ. Press, 1999

E. Melis, J. Siekmann
Knowledge-based Proof Planning
Journal of Artificial Intelligence, vol 115, p 65-105, 1999

K. Fischer, Ch Gerber, J. Siekmann, G. Vierke
Holonic Multi Agent Systems
(to appear: JAI, Elsevier)

J. Siekmann, G. Wrightson
Strong Completeness of A. Kowalski's Connection Graph Proof Procedure
Springer Lecture Notes on AI, vol 2408, pp 231, 2002

Prof. Dr. Jörg Siekmann (excerpt from the publication list)
http://www-ags.dfki.uni-sb.de


Prof. Dr. Joachim Zentes

You can find the latest list of Prof. Zentes publications here:
www.hima.uni-saarland.de