Sciweavers

9145 search results - page 364 / 1829
» Description Logic Systems
Sort
View
DAGSTUHL
1998
15 years 8 months ago
Evolving Logical Specification in Information Systems
Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina...
DOA
2000
84views more  DOA 2000»
15 years 8 months ago
An Interoperable Replication Logic for CORBA Systems
Carlo Marchetti, Massimo Mecella, Antonino Virgill...
IJCAI
1993
15 years 8 months ago
PHI - A Logic-Based Tool for Intelligent Help Systems
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Ja...
IJCAI
1993
15 years 8 months ago
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...