Result 21 to 35 of 35 total
Resolution method for modal logic with well-founded frames (English)
CSL, 277-291 (1999).
21
An object-oriented model of maps (English)
DEXA Workshop, 514-515 (1999).
22
Temporal logic extended with object creation and destruction (English)
SEKE, 156-163 (1994).
23
Derivation of the input conditional formula from a reactive system specifictaion in temporal logic (English)
FTRTFT, 567-582 (1994).
24
More expressive temporal logic for specifications (English)
SEKE, 363-366 (1993).
25
TAP: A new model for software process: tasks-agents-products (English)
SEKE, 346-350 (1993).
26
Information modelling and knowledge bases. III: foundations, theory and applications. (English)
Frontiers in Artificial Intelligence and Applications. 13. Amsterdam: IOS Press. Tokyo: Ohmsha, VIII, 704 p. Dfl. 250.00 (1992).
27
Conceptual modeling in MSL. (English)
Jaakkola, Hannu (ed.) et al., Advances in information modelling and knowledge bases. Amsterdam etc.: IOS Press. Front. Artif. Intell. Appl. 10, 124-140 (1991).
28
Logic for hierarchical temporal reasoning. (English)
Kangassalo, Hannu (ed.) et al., Information modelling and knowledge bases. Amsterdam etc.: IOS Press. Front. Artif. Intell. Appl. 7, 136-147 (1990).
29
Logical environments for natural language approach (English)
ISPW, 84-86 (1985).
30
Application of structure lines to surface construction and 3-dimensional analysis. (English)
Picture engineering, Springer Ser. Inf. Sci. 6, 106-137 (1982).
31
Functional specification of synchronized processes based on modal logic (English)
ICSE, 208-217 (1982).
32
Database system based on intensional logic. (English)
Computational linguistics, Proc. 8th int. Conf., Tokyo 1980, 220-227 (1980).
33
A parallel programming language and description of scheduler (English)
Operating Systems Engineering, 23-41 (1980).
34
Database system based on intensional logic (English)
COLING, 220-227 (1980).
35
Result 21 to 35 of 35 total
Start
Contact
Print
General Help
