Klaus Schild

According to our database, Klaus Schild authored at least 13 papers between 1991 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Self-organization in manufacturing operations.

Klaus Schild, Stefan Bussmann

Commun. ACM, 2007

2001

An agent-based approach to the control of flexible production systems.

Stefan Bussmann, Klaus Schild

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000

Scheduling of Time-Triggered Real-Time Systems.

Klaus Schild, Jörg Würtz

Constraints An Int. J., 2000

On the Relationship Between BDI Logics and Standard Logics of Concurrency.

Klaus Schild

Auton. Agents Multi Agent Syst., 2000

Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology.

Stefan Bussmann, Klaus Schild

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

1998

Off-line scheduling of a real-time system.

Klaus Schild, Jörg Würtz

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

1996

Querying knowledge and data bases by a universal description logic with recursion.

Klaus Schild

PhD thesis, 1996

1995

The Use of Description Logics as Database Query Languages.

Klaus Schild

Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995

1994

Tractable Reasoning in a Universal Description Logic.

Klaus Schild

Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994

Terminological Cycles and the Propositional µ-Calculus.

Klaus Schild

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993

Combining Terminological Logics with Tense Logic.

Klaus Schild

Proceedings of the Progress in Artificial Intelligence, 1993

1991

A Correspondence Theory for Terminological Logics: Preliminary Report.

Klaus Schild

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

From Terminological Logics to Modal Logics.

Klaus Schild

Proceedings of the International Workshop on Terminological Logics 1991, 1991