Search the dblp DataBase

Publications of Author

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