Real-time in the EC sixth framework programme (English)
ECRTS, 63- (2002).
1
Logic program modules for interoperable information systems. (English)
Beierle, Christoph (ed.) et al., Logic programming: formal methods and practical applications. Amsterdam: Elsevier. Stud. Comput. Sci. Artif. Intell. 11, 121-138 (1995).
2
Logic program modules for interoperable information systems (English)
Logic Programming: Formal Methods and Practical Applications, 121-138 (1995).
3
Declarative semantics of interoperable data and knowledge bases (English)
CoopIS, 291-299 (1993).
4
A management system for distributed knowledge base applications (English)
Wissensbasierte Systeme, 65-76 (1991).
5