Search the dblp DataBase
Klaus Schild :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Klaus Schild Combining Terminological Logics with Tense Logic. [Citation Graph (1, 0)][DBLP ] EPIA, 1993, pp:105-120 [Conf ] Klaus Schild A Correspondence Theory for Terminological Logics: Preliminary Report. [Citation Graph (1, 0)][DBLP ] IJCAI, 1991, pp:466-471 [Conf ] Klaus Schild On the Relationship Between BDI Logics and Standard Logics of Concurrency. [Citation Graph (0, 0)][DBLP ] ATAL, 1998, pp:47-61 [Conf ] Klaus Schild From Terminological Logics to Modal Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1991, pp:101-104 [Conf ] 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 ] Klaus Schild Terminological Cycles and the Propositional µ-Calculus. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:509-520 [Conf ] Klaus Schild Tractable Reasoning in a Universal Description Logic. [Citation Graph (0, 0)][DBLP ] KRDB, 1994, pp:- [Conf ] Klaus Schild The Use of Description Logics as Database Query Languages. [Citation Graph (0, 0)][DBLP ] KRDB, 1995, pp:- [Conf ] 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 ] 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 ] 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 ] Self-organization in manufacturing operations. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs