by
Jaakkola, H.
Format:
Electronic Resources
Excerpt:
Transition Logic -- Consistency Checking of Behavioural Modeling in UML Statechart Diagrams -- Context and
by
Jaakkola, H.
Format:
Electronic Resources
Excerpt:
Multi-agent Systems -- A Logic of Ontology for Object Oriented Software Components -- Provability of Relevant
View Other Search Results
by
Vojtáš, P.
Format:
Electronic Resources
Excerpt:
Information Modelling and Knowledge Bases, which concentrates on a variety of themes such as the design and
by
Tokuda, T.
Format:
Electronic Resources
Excerpt:
intelligence, logic, linguistics and analytical philosophy, also receive attention. The selected papers
by
Jaakkola, H.
Format:
Electronic Resources
Excerpt:
(Comparing TIL and Description Logic) -- A Semantic Space Creation Method with an Adaptive Axis Adjustment
by
Kiyoki, Y.
Format:
Electronic Resources
Excerpt:
-- A Description Logic with Concept Instance Ordering and Top-k Restriction -- 3C-Drive: New Model for
Limit Search Results
Narrowed by: