Klaus Schild

Publication Activity (10 Years)

Years Active: 1991-2007
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Klaus Schild, Stefan Bussmann
Self-organization in manufacturing operations. Commun. ACM 50 (12) (2007)
Stefan Bussmann, Klaus Schild
An agent-based approach to the control of flexible production systems. ETFA (2) (2001)
Klaus Schild
On the Relationship Between BDI Logics and Standard Logics of Concurrency. Auton. Agents Multi Agent Syst. 3 (3) (2000)
Klaus Schild, Jörg Würtz
Scheduling of Time-Triggered Real-Time Systems. Constraints An Int. J. 5 (4) (2000)
Stefan Bussmann, Klaus Schild
Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology. ICMAS (2000)
Klaus Schild
On the Relationship Between BDI Logics and Standard Logics of Concurrency. ATAL (1998)
Klaus Schild, Jörg Würtz
Off-line scheduling of a real-time system. SAC (1998)
Klaus Schild
The Use of Description Logics as Database Query Languages. KRDB (1995)
Klaus Schild
Terminological Cycles and the Propositional µ-Calculus. KR (1994)
Klaus Schild
Tractable Reasoning in a Universal Description Logic. KRDB (1994)
Klaus Schild
Combining Terminological Logics with Tense Logic. EPIA (1993)
Klaus Schild
From Terminological Logics to Modal Logics. Description Logics (1991)
Klaus Schild
A Correspondence Theory for Terminological Logics: Preliminary Report. IJCAI (1991)