| 2007 |
|---|
| 12 | EE | Klaus Schild,
Stefan Bussmann:
Self-organization in manufacturing operations.
Commun. ACM 50(12): 74-79 (2007) |
| 2000 |
|---|
| 11 | EE | Stefan Bussmann,
Klaus Schild:
Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology.
ICMAS 2000: 87-94 |
| 10 | | Klaus Schild:
On the Relationship Between BDI Logics and Standard Logics of Concurrency.
Autonomous Agents and Multi-Agent Systems 3(3): 259-283 (2000) |
| 9 | | Klaus Schild,
Jörg Würtz:
Scheduling of Time-Triggered Real-Time Systems.
Constraints 5(4): 335-357 (2000) |
| 1998 |
|---|
| 8 | | Klaus Schild:
On the Relationship Between BDI Logics and Standard Logics of Concurrency.
ATAL 1998: 47-61 |
| 7 | EE | Klaus Schild,
Jörg Würtz:
Off-line scheduling of a real-time system.
SAC 1998: 29-38 |
| 1995 |
|---|
| 6 | EE | Klaus Schild:
The Use of Description Logics as Database Query Languages.
KRDB 1995 |
| 1994 |
|---|
| 5 | | Klaus Schild:
Terminological Cycles and the Propositional µ-Calculus.
KR 1994: 509-520 |
| 4 | EE | Klaus Schild:
Tractable Reasoning in a Universal Description Logic.
KRDB 1994 |
| 1993 |
|---|
| 3 | | Klaus Schild:
Combining Terminological Logics with Tense Logic.
EPIA 1993: 105-120 |
| 1991 |
|---|
| 2 | | Klaus Schild:
From Terminological Logics to Modal Logics.
Description Logics 1991: 101-104 |
| 1 | | Klaus Schild:
A Correspondence Theory for Terminological Logics: Preliminary Report.
IJCAI 1991: 466-471 |
