Klaus Schild

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