Klaus Schild

发表

Scheduling of Time-Triggered Real-Time Systems

Jörg Würtz, Klaus Schild, J. Würtz, 2000, Constraints.

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

Klaus Schild, 1996 .

Combining Terminological Logics with Tense Logic

Klaus Schild, K. Schild, 1993, EPIA.

Terminological Cycles and the Propositional µ-Calculus

Klaus Schild, K. Schild, 1994, KR.

A Correspondence Theory for Terminological Logics: Preliminary Report

Klaus Schild, K. Schild, 1991, IJCAI.

On the Relationship Between BDI Logics and Standard Logics of Concurrency

Klaus Schild, 1998, ATAL.

From Terminological Logics to Modal Logics

Klaus Schild, 1991, Description Logics.

On the Relationship Between BDI Logics and Standard Logics of Concurrency

Klaus Schild, 2004, Autonomous Agents and Multi-Agent Systems.

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

Stefan Bussmann, Klaus Schild, 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

Tractable Reasoning in a Universal Description Logic

Klaus Schild, 1994, KRDB.

Self-organizing manufacturing control: an industrial application of agent technology

Stefan Bussmann, Klaus Schild, S. Bussmann, 2000, Proceedings Fourth International Conference on MultiAgent Systems.

Self-organization in manufacturing operations

Stefan Bussmann, Klaus Schild, S. Bussmann, 2007, CACM.

The Use of Description Logics as Database Query Languages

Klaus Schild, 1995, KRDB.

Off-line scheduling of a real-time system

Jörg Würtz, Klaus Schild, 1998, SAC '98.

Terminological Cycles and the Propositional μ-Calculus**This work was supported by a grant from the Deutsche Forschungsgemeinschaft (DFG).

Klaus Schild, K. Schild, 1994 .

Streak detection algorithm for space debris detection on optical images.

Thomas Schildknecht, Alessandro Vananti, Klaus Schild, 2015 .

Towards a Theory of Frames and Rules

Klaus Schild, 1989 .