Hannu Kangassalo
Kotisivulle
- to the Home Page
Scandinavian-Japanese conferences on
Information Modelling and Knowledge Bases:
Conference 1988
Hotel Ellivuori, Vammala Finland, June 6 - 10,
1988.
Conference 1989,
Hotel Ellivuori, Vammala Finland, June 6 - 9,
1989.
Proceedings of the conferences on 1988 and 1989 have been
published in the same volume:
Kangassalo,H., Ohsuga,S.,
Jaakkola,H., (Eds) Information Modelling and Knowledge Bases.
IOS Press, Amsterdam, 1990.
- Andreasen,T.
-
Implicit Joins. pp. 440-454
-
Arikawa,S., Takeya,S., Miyano,S., Kawasaki,Y., Inoue,H., Yuasa,H.,
Miyahara,T., Yamamoto,A., Shinohara,T., Sakai,H., Oshima,K.,
Shiraishi,S., Haragughi,M.
-
SIGMA: A Text Database Management System. pp. 455-468
-
Arikawa,S., Yamamoto,A., Shinohara,T.
-
Inductive Inference of Formal Languages by Elementary Formal
Systems. pp. 148-160
-
Hori,K., Ohsuga,S.
-
Articulation Problem - A Basic Problem for Information Modelling.
pp. 36-44
-
Järvelin,K.
-
Boolean Predicate Reduction for File Access. pp. 488-406
-
Kalja,A., Koov,M.
-
Knowledge Programming in ExpertPRIZ: Exampes in CAD. pp. 358-
364
-
Kangassalo,H.
-
Foundations of Conceptual Modelling: A Theory Construction View.
pp. 19-35
-
Kangassalo,H.
-
Computations in a CONCEPT D Conceptual Schema. pp. 329-357.
-
Kangassalo,H., Viitanen,A.
-
A Concept Data Base for Conceptual Schemata. pp. 264- 291.
-
Kari,S., Kangassalo,H., Pösö,J.
-
CQL - Conceptual Query Language: A Visual User Interface to
Application Data Bases. pp. 608-623
-
Kiyoki,Y., Liu,P., Kato,K., Masuda,T.
-
SMASH: An Extensible Parallel Processing System for Databases and
Knowledge Bases. pp. 407-428
-
Kiyoki,Y., Liu,P., Namiuchi,M.
-
An Implementation Method for Logical Query Processing Based on
the Parallel Interpretation Approach. pp. 429-439
-
Kobayashi,I.
-
Tuple Calculus: Syntax and Semantics. pp. 109-136
-
Kobayashi,I.
-
Two Misleading Paradigms in Relational Database Model. pp.
92--108
-
Komorowski,J., Barr,C.E., Pattison-Gordon,E., Greenes,R.A.
-
Knowledge Modeling for the Unified Medical Language System.
pp. 313-317
-
Komsi,A.
-
Graphics in Knowledge Representation. pp. 54-69
-
Kraft,P.
-
Correspondence between Data Models and User Interfaces - an
Entity/ Relationship Approach. pp. 506-537
-
Kraft,P.
-
Entity-Relationship Views on Entity-Relationship Structures for
Specification of User Interfaces. pp. 560-577
-
Kraft,P.
-
Information Structures in User Interfaces for Business
Applications. pp. 538- 559
-
Makinouchi,A., Ishikawa,H.
-
The Model and Architecture of the Object-Oriented Database System
JASMIN. pp. 292-312
-
Nilsson,J.F.
-
Knowledge Base Data Bases. pp. 203-210
-
Nilsson,J.F.
-
w-order Knowledge Bases. pp. 70-91
-
Nummenmaa,J., Numminen,O.
-
Graphic Editors for Knowledge Acquisition and Conceptual Schema
Design. pp. 318-328
-
Nummenmaa,J., Viitanen,A.
-
Data Base Updates from the Conceptual Schema Level. pp.
624-635
-
Rantala,V.
-
Knowledge Representation and Epistemic Logic: An Overview.
pp. 1-18
-
Räihä,K.-J., Mannila,H.
-
On Query Languages for the P-string Data Model. pp. 469-482
-
Sakkinen,M.
-
Modelling Order in Databases. pp. 177-203
-
Salminen,A.
-
Four Levels of the Document Database Model. pp. 229-256
-
Sundin,U.
-
From an Information Model in First-Order Logic to a Prototype
Data-base Schema in Prolog. pp. 365-387
-
Takeda,M., Miyahara,T.
-
Query Processing for Structured Text as a Relation. pp. 483-
492
-
Takizawa,M.
-
PROLOG Interface System for a Distributed Database System.
pp. 591-607
-
Takizawa,M., Shin,S.
-
Distributed Commitment Control by Using Broadcast Net-work.
pp. 493-505
-
Tanaka,Y.
-
Algebraic Definition of a Vocabulary over a Knowledge-Based
System. pp. 161-176
-
Tanaka,Y.
-
IntelligentPad: A Media-Synthesizing Tool Kit for the Management
of Active Media Objects. pp. 578-590
-
Yamauchi,H., Ohsuga,S.
-
On Coupling KAUS Loosely with Existing RDBMSs. pp. 239- 263
-
Yonezaki,N.
-
Logic for Hierarchical Temporal Reasoning. pp. 136-147
-
Österby,T.
-
Knowledge Acquisition and Specification. pp. 45-53
Scandinavian-Japanese conferences on
Information Modelling and Knowledge Bases:
Conference 1990
Hotel Ellivuori, Vammala, Finland, June 5 - 8,
1990.
Proceedings of the conference 1990:
Jaakkola,H.,
Kangassalo,H., Ohsuga,S., (Eds) Advances in Information Modelling
and Knowledge Bases. IOS Press, Amsterdam, 1991.
- Amamiya,M., Mine,T.
-
An O(n) Time and O(n2) Processors Parallel Parsing Al-gorithm for
Context Free Grammars. pp. 351-367
-
Andreassen,T.
-
Using Integrity Constraints. pp. 173-184
-
Bulsari,A., Saxén,H.
-
A Feed-Forward Artificial Neural Network as a Simulator for a
Chemical Process. pp. 332-350
-
Eloranta,K.T.
-
Case Memory Support Systems: Tools for Computer Supported Case-
Based Reasoning. pp. 299-312
-
Haav,H.-M., Kalja,A.
-
Knowledge-Based Data Modelling Technique. pp. 152-165
-
Henno,J.
-
Minimal Queries for Learning Concepts in an Information System.
pp. 166- 172
-
Henno,J.
-
Using Hypertext to Implement an Intelligent CAI Course. pp.
313-320
-
Hori,K., Morizet-Mahoudeaux,P., Ohsuga,S.
-
Assisting the Articulation of the Real and Mental World. pp.
27-43
-
Iivari,J.
-
A Conceptual Metamodel for an Information System: An
Object-Oriented Interpretation. pp. 185-207
-
Jaakkola,H.,Henno,J.
-
Using Hypertext to Implement a Knowledge Acquisition System.
pp. 321-331
-
Kangassalo,H.
-
Conceptual Level User Interfaces to Data Bases and Information
Systems. pp. 66-90.
-
Kitahashi,T., Abe,N., Dan,S.,Kanda,K., Ogawa,H.
-
A Function-Based Model of an Object for Image Understanding.
pp. 91-97
-
Kobayashi,I.
-
Databases with Structured Values and OO-Flavoured Conceptual
Schemata. pp. 208-223
-
Koch,G.
-
Data-Flow Trees in Natural Language Interfaces. pp. 141-151
-
Marjomaa,E.
-
Modeling Mind: On Questions about Some Interrelated Concepts
involving 'Modelling'. pp. 19-26
-
Nilsson,J.F.
-
A Meta-Logical Framework for Knowledge Bases. pp. 98-109
-
Ohsuga,S.
-
Problem Representation in Knowledge Based Systems and Automation
of Software Design. pp. 236-264
-
Okada,N.
-
Modeling of Attribute Concepts and their Classification for
Machine Thesaurus. pp. 44-65
-
Palomäki,J.
-
The Ontological Questions Concerning the Concept of Concept.
pp. 1-18
-
Savolainen,V.
-
DSS for Aiding the Selection of Methods and Tools for ISD
Projects. pp. 224-235
-
Tanaka,Y.
-
Logic Programming with a Large Vocabulary. pp. 265-281
-
Ueno,H.
-
Program Understanding by means of the Model of Algorithm-Based
Programming Knowledge. pp. 282-298
-
Yamamoto,A.
-
Generalization of Weakly Reducing EFS with Abstraction. pp.
110-123
-
Yonezaki,N.
-
Conceptual Modelling in MSL. pp. 124-140
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1991
Fujiyoshida, Japan.
Proceedings of the conference 1991:
Ohsuga,S., Kangassalo,H.,
Jaakkola,H., Hori,K., Yonezaki,N., (Eds.), Information Modelling
and Knowledge Bases III: Foundations, Theory, and Applications.
IOS Press, Amsterdam, 1992.
- Batini,C., Di Battista,G., Santucci,G.
-
Data Dictionaries: Structure and Design. pp. 368- 405.
-
Bijl,A.
-
Logic in Computers and Use of Logic in Design. pp. 525-544.
-
Catarzi,T., Lenzerini,M.
-
Conceptual Modelling Based on Conceptual Modelling. pp. 59-
74.
-
Chen,H.A., Kumara, S.R.T., Thazhut-haveetil,M.J., Ham,I.
-
Schema Integration and Query Composition in a Distributed
Database System Using A Knowledge-Based Approach. pp. 566-585.
-
Dietz,J.
-
Modelling the Essential Activities of an Organization. pp.
130-140.
-
Eloranta,K.T.
-
Structuredness in Information Spaces, Reading Processes, and
Hypertexts: A Search for Matchings. pp. 437-450.
-
Girle,R.A. Knowing,
-
Believing and Ignorance Representation. pp. 266-274.
-
Gärdenfors,P.
-
A Geometric Model of Concept Formation. pp. 1-16.
-
Haav,H.-M.
-
An Object-Oriented Approach to Conceptual Data Modelling. pp.
333-346.
-
Henno,J.
-
Using SA methods and multi-level grammars to design hypertext
materials. pp. 451-466.
-
Hintikka,J.
-
Independence-friendly logic as a framework for information
modelling and reasoning about knowl-edge. Invited paper. pp.
258-265.
-
Hintikka,J.
-
Interrogative model of knowledge acquisition as a framework of
concept identification. Invited paper. pp. 174-181.
-
Hori,K., Ohsuga,S.
-
Word Space Processor for Assisting the Ar-ticulation of the
Mental World. pp. 182-197.
-
Iivari,J.
-
Relationships, Aggregations and Complex Objects. pp. 141-159.
-
Jaakkola,H.
-
Adoption of New DBM-techniques: A Diffusion Trend Based View.
pp. 675-690.
-
Kalja,A.
-
Environments of Small Knowledge-Based CAD Systems. pp.
347-356.
-
Kangassalo,H.
-
On the Concept of Concept for Conceptual Modelling and Concept
Detection. pp. 17-58.
-
Kangassalo,M.
-
The Pictorial Computer-Based Simulation in Natural Sciences for
Children's Use. pp. 511-524.
-
Kawahara,Y., King,I., Arbib,M.A.
-
An Actor Formalization for Blackboard Schema Systems. pp.
467-479.
-
Kitahashi,T., Babaguchi,N.
-
Formalization of Intention of Observers and Foundations of
Intellectual Communication. pp. 123-129.
-
Kiyoki,Y., Namiuchi,M.
-
A Stream-Oriented Parallel Processing Strategy for Databases and
Knowledge Bases. pp. 316-332.
-
Kobayashi,I.
-
Functions and Structured Terms in Relational Query Languages.
pp. 545- 565.
-
Koch,G.
-
Logics and Informatics in an Integrated Approach to Natural
Lan-guage Database Interface. pp. 602-616.
-
Kurki-Suonio,R.
-
Modular Modeling of Temporal Behaviors. pp. 283-300.
-
Liu,B.-J., Nishio,S., Tsukamoto,M., Miyahara,H.
-
Design and Implementation of an Object-Base System Based on DOT
Expression. pp. 586-601.
-
Marjomaa,E.
-
The Problem of Abstractness in Conceptual Modelling. pp.
97-106.
-
Miura,T.
-
Data Logic As Proof Procedure. pp. 423-436.
-
Morizet-Mahoudeaux,P.
-
On Intelligent Computer Aided Designability of a Structured-
Based Knowledge System. pp. 275-282.
-
Nilsson,J.F.
-
TOPOLOG - Topological Visualization of Logical Knowledge Bases.
pp. 629-644.
-
Nordin,P., Sundin,U.
-
PROV: A Case-Approach for Developing Knowledge-Based Systems for
Constructive Problems. pp. 357-367.
-
Numminen,O., Vikman,V.
-
Animations in a Conceptual Schema. pp. 617-628.
-
Ohsuga,S.
-
Knowledge-Based System As a Tool of Model Building. pp.
645-674.
-
Okada,N.
-
Modelling and Accumulating Noun Con-cepts for Machine Tractable
Dictionaries. pp. 198-217.
-
Ono,H.
-
Logics of Belief and Belief Sets - An Ap-proach to Autoepistemic
Logic. Invited paper. pp. 218-228.
-
Palomäki,J.
-
From Theory of Concept to Concept Theory. pp. 107-122.
-
Radermacher,K.
-
Graphic Support for the Database Design with User-Defined
Modeling Concepts. pp. 301-315.
-
Savolainen,V., Saastamoinen,H.
-
Refinements of Ossadic IS Speci-fication Tools. pp. 406-422.
-
Shioya,I.
-
Normal Form of Function-Free Deductive Databases. pp.
247-257.
-
Sibelius,P.
-
First-Order Logic: On Formal Semantics of First-Order Theories.
pp. 229- 246.
-
Ueno,H., Yamamoto,Y., Fukuda,H.
-
Knowledge Modelling Based on Object Model - An Approach to
Multi-Use Engineering Knowledge Base. pp. 75-96.
-
Vaario,J. Ohsuga,S., Hori,K.
-
Connectionist Modeling Using Lindenmayer System. pp. 496-510.
-
Yamauchi,H., Ohsuga,S.
-
Modelling Objects by Extensions and Intensions - A Theoretical
Background of KAUS. pp. 160-173.
-
Zhong,N., Ohsuga,S.
-
Knowledge Discovery and Management in Integrated Use of KB and
DB. pp. 480-495.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1992
Hotel Ellivuori, Vammala, Finland, June 9 -
12,1992.
Proceedings of the conference 1992:
Kangassalo,H.,
Jaakkola,H., Hori,K., Kitahashi,T., (Eds) Information Modelling
and Knowl-edge Bases IV: Concepts, Methods and Systems. IOS,
Amsterdam, 1993.
- Adis,W.
-
Petri Net Modeling of a Distributed Database Environment. pp.
353-364.
-
Berztiss,A.T.
-
Questions, Queries, and Functions . pp. 256-270.
-
Carlson,A., Pettersson,L., Zaring,P., Dahlgren,H., Ljunggren,J.,
Sundin,U.
-
KexTex - Knowledge Extraction from Text. pp. 400-406.
-
Catarci,T., Santucci,G.
-
Graphical Primitives for Querying Heterogeneous Databases.
pp. 106-125.
-
Haav,H.-M., Matskin,M.
-
Using Partial Deduction for Automatic Propagation of Changes in
OODB. pp. 339-352.
-
He,S., Abe,N., Kitahashi,T.
-
Assembly Plan Generation from an Assembly Illustration. pp.
229-239.
-
Henno,H.
-
Design of PC Multimedia. pp. 365-376.
-
Hori,K., Sugimoto,M., Ohsuga,S.
-
Application of Articulation Aid to Design. pp. 56-64.
-
Jungclaus,R., Hartmann,T., Saake,G.
-
Relationships between Dynamic Objects. pp. 425- 438.
-
Kawaguchi,E., Shao,G., Wakiyama,M., Nozaki,K., Kamata,S.
-
Semantic-Structure Description Forms of Natural Language Concepts
and a Machine Intelligence Model. pp. 126-158.
-
Kawahara,Y., Mizoguchi,Y.
-
Relational Calculus and Categorical Assertion Semantics in Topoi.
pp. 305-318.
-
Kobayashi.I.
-
Equivalence and Non-equivalence Transformations of Predicate
Systems. pp. 319-338.
-
Koch,G.
-
Montaque's PTQ as a Case of Advanced Text Comprehension. pp.
377-387.
-
Kovács,L.B., Zahle,T.U.
-
A Logic Programming Approach to Database Integrity Constraints.
pp. 287- 304.
-
Marjomaa,E.
-
Different Senses of 'Relevance' in Information Modelling. pp.
31-41.
-
Márkus,A.
-
Problems with the Understanding and Representation of Design
Processes. pp. 207-216.
-
Miura,T.
-
Deductive Types and a Dynamic View Mechanism. pp. 240-255.
-
Mori,R., Yonezaki,N.
-
Several Realizability Concepts in Reactive Objects. pp.
407-424.
-
Nakamura,J., Okada,N.
-
Towards Lexical Knowledge Base Construction by Co-operation of
Human and Machine. pp. 159-170.
-
Nilsson,J.F.
-
A Concept Object Algebra CA+6[:]. pp. 42-55.
-
Palomäki,J.
-
A Fundamental Fact which Conceptual Modeller has to Face. pp.
14-30.
-
Radermacher,K.
-
Abstraction Techniques in Semantic Modelling. pp. 65-86.
-
Ramscar,M., White,R.
-
A Goal Driven Approach to Knowledge Extraction for Architectural
Design Systems. pp. 196-206.
-
Saastamoinen,H.
-
Rules and Exceptions. pp. 271-286.
-
Santucci,G., Melis,E., Zonta,B.
-
Automatic Semantic Schema Classification. pp. 87-105.
-
Savolainen,V.
-
Evaluatory Comparison of Three IS and ISD Reference Frameworks.
pp. 217-228.
-
Shioya,I., Nakamura,K.
-
L-Systems and Logic Grammars. pp. 171-179.
-
Sibelius,P.
-
Information Condensation in Conceptual Modelling. pp. 1-13.
-
Tyrväinen,P., Saarinen,P., Hätönen,K.
-
Domain Modelling for Technical Documentation Retrieval. pp.
388-399.
-
Yonezaki,N., Hayama,T.
-
Self-substitution in Modal Unification. pp. 180-195.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1993
Budapest, Hungary, May 31 - June 3, 1993.
Proceedings of the conference 1993:
Jaakkola,H.,
Kangassalo,H., Kitahashi,T., Markus,A., (Eds) Information
Modelling and Knowl-edge Bases V. IOS, Amsterdam, 1994.
- Arimura,H., Shinohara,T.
-
Inductive Inference of Prolog Programs with Linear Data
Dependency from Positive Data. pp. 366-376.
-
Berztiss,A.
-
Imprecise Queries and the Quality of Conceptual Models. pp.
175-186. Bijl,A. What¹s in a Concept? Thoughts on Formal
Techniques and Usefulness. pp. 35- 50.
-
Castellanos,M., Saltor,F.
-
Extraction of Data Dependencies. pp. 401-421.
-
Castelli,D., Locuratolo,E.
-
A Formal Notation for Database Conceptual Schema Specifications.
pp. 258-275.
-
Charrel,P.-J., Galarreta,D., Keller,P., Rothenburger,B.
-
Multiple Viewpoints for Complex Systems Design. pp. 98-119.
-
Falquet,G., Léonard,M., Sindayamaze,J. F2Concept:
-
A Database System for Managing Classes¹ Extensions and
Intensions. pp. 244-257.
-
Henno,J.
-
Chunk Grammars for PC Hypertext. pp. 203-212.
-
Kangassalo,M.
-
A Conceptual Model as a Mental Construct: Its Origin,
Development, Function and Elicitation. pp. 51-62.
-
Kawaguchi,E., Wakiyama,M., Shao,G., Lee,M.
-
A Framework of Story Understanding in the SD-Form Semantics
Model. pp. 120-139.
-
Kise,K., Ashida,M., Dan,S., Kitahashi,T.
-
A Further Consideration on the Functional Models. pp.
187-191.
-
Kiyoki,Y., Kitagawa,T.
-
A Metadatabase System for Supporting Semantic Interoperability in
Multidatabases. pp. 288-299.
-
Kobayashi,I.
-
Complete Decompositions of Join Dependencies. pp. 23-34.
-
Koch,G.
-
A Discussion of Semantic Abstraction. pp. 351-357.
-
Ligeza,A.
-
Backward Dual Resolution. Direct Proving of Generalization.
pp. 337-350.
-
Linaae,H., Weidemann Løvseth,I., Kambayashi,Y.
-
An Authorization Mechanism for Decentralized Dynamic Security
Management. pp. 377-400.
-
Marjomaa,E.
-
Processive Relevance in Conceptual Modelling. pp. 63-75.
-
Nilsson,J.F.
-
An Algebraic Logic for Concept Structures. pp. 76-85.
-
Ohsuga,S.,Vaario,J.
-
A Study of Artificial Life as a Model of Automatic Model
Building. Invited presentation. pp. 1-22.
-
Palomäki,J.
-
Towards the Foundations of Concept Theory. pp. 140-155.
-
Pedersen,G.S.
-
Relationship Lattices for Information Modelling. pp. 156-174.
-
Rolland,C.
-
Modeling the Requirement Engineering Process. pp. 86-97.
-
Salminen,A.
-
Experimental Data Modelling by Rapid Prototyping. pp.
300-313.
-
Schewe,K.-D., Thalheim,B.
-
Principles of Object Oriented Database Design. pp. 228- 243.
-
Shioya,I.
-
A Logic Database Language with Tree Patterns. pp. 358-365.
-
Tokuda,T., Watanabe,Y.
-
An Attribute Grammar Modelling of Interactive Figures. pp.
213-227.
-
Vadén,T.
-
Conceptual Modelling as Theory Construction: Some Implications
for the Metalevel Treatment. pp. 192-202.
-
van Bommel,P.
-
Database Design Modifications based on Conceptual Modelling.
pp. 276-287.
-
Wangler,B.
-
A Conceptual Model with Time: Modelling the ISO-case with
TEMPORA. pp. 314-337.
-
Yonezaki,N., Saeki,M., Ljungberg,J., Kinnula,T.
-
Software Process Modelling with the TAP Approach:
Tasks-Agents-Products. pp. 422-435.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1994
Kista, Stockholm, Sweden, May 31 - June 3,
1994.
Proceedings of the conference on 1994:
Kangassalo,H.,
Jaakkola,H., Ohsuga,S., Wangler,B., (Eds) Information Modelling
and Knowledge Bases VI. IOS Press, Amsterdam, 1995.
- Bijl,A.
-
Showing Your Mind. pp. 1-26.
-
Ohsuga,S.
-
Role of Model in Intelligent Activity - A Unified Approach to
Automation of Model Building. pp. 27-42.
-
LeRoux,B., Laublet,P.
-
Steps Towards a Unified Approach of Knowledge Modelling. pp.
43-74.
-
Toppano,E., Chittaro,L., Tasso,C.
-
Dimensions of Abstraction and Approximation in the Multimodeling
Approach. pp. 75-90.
-
Tanaka,Y.
-
From Augmentation Media to Meme Media: IntelligentPad and the
World- Wide Repository of Pads. pp. 91-108.
-
Rosengren,P.
-
Applying a 3-Schema Approach to Information Retrieval from
Heterogeneous Multimedia Databases. pp. 109-120.
-
Kiyoki,Y., Kitagawa,T.
-
A Semantic Assosiative Search Method for Knowledge Acquisition.
pp. 121-130.
-
Tokuda,T., Watanabe,Y., Kakinuma,N., Tominaga,K.
-
Constraint Problems on Attributed Trees and Their Applications to
Knowledge Maintenance. pp. 131-144.
-
Castelli,D., Locuratolo,E.
-
ASSO: A Formal Database Design Methodology. pp. 145-158.
-
Bubenko,J., Kirikova,M.
-
"Worlds" in Requirements Aquisition and Modelling.
pp. 159- 174.
-
Berztiss,A., Matjasko,K.J.
-
Queries and the Incremental Construction of Conceptual Models.
pp. 175-186.
-
Verrijn-Stuart,A.A., Ramackers,G.J.
-
Embedded Organizational Knowledge: Requirements for and Usage of
Conceptual Information System Models. pp. 187-196.
-
Ramackers,G.J., Verrijn-Stuart,A.A.
-
Conceptual Model Requirements for Integrated Business and
Information System Development. pp. 197-214.
-
Kawamura,M., Yonezaki,N.
-
Non Clausal Linear Resolution for Propositional Linear Logic.
pp. 215-230.
-
Kise,K., Hattori,H., Fukunaga,K., Kitahashi,T.
-
Representing and Recognizing Simple Hand-tools Based on Their
Functions. pp. 231-238.
-
Nilsson,J.F, Palomäki,J.
-
A Categorial View of Concept Structures. pp. 239-256.
-
Goble,C., Bechhofer,S., Solomon,D., Rector,A., Nowlan,A.,
Glowinski,A.
-
Conceptual, Semantic and Information Models for Medicine. pp.
257-286.
-
Marjomaa,E.
-
A Few Notes Concerning Static and Dynamic Aspects of Modelling.
pp. 287-298.
-
Jarzabek,S., Tiing,T.S.
-
Conceptual Modeling of Families of Software Systems. pp. 299-
312.
-
Auddino,A.
-
Formal Modeling of Objects and Subsystems in an Information
Systems Framework. pp. 313-332.
-
Kawaguchi,E., Kamata,S., Wakiyama,M., Nozaki,K.
-
The Semantic Metric Computation Scheme in the SD-Form Semantics
Model. pp. 333-354.
-
Carlson,A.B., Ljungberg,J.
-
A Semiotic Framework for Information Management. pp. 355-368.
-
Pedersen,G.Schmelz,
-
Rule Modelling in Relationship Lattices. pp. 369-378.
-
Gustas,R.
-
Towards Understading and Formal Definition of Conceptual
Constraints. pp. 379-398.
-
Norrie,M.C.
-
Distinguishing Typing and Classification in Object Data Models.
pp. 399- 412.
-
Haav,H.-M.
-
Towards Evolving Class and Object Lattices. pp. 413-426.
-
Ohmori,K.
-
An Object Oriented Model for Off-line Handwritten Kanji Character
Recognition. pp. 427-436.
-
Yamamoto,A.
-
Programming by First Order Formulas for Object and Relation
Definition. pp. 437-446.
-
Saltor,F., Castellanos,M., Garcia-Solaco,M., Kudrass,Th.
-
Modelling Specialization as Bloom Semilattices. pp. 447-468.
-
Kangassalo,H., Jaakkola,H.
-
European-Japanese research in information modelling and knowledge
bases: a survey. pp. 469-486.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1995
Sapporo, Japan, May 29 - June 1, 1995.
Proceedings of the conference on 1995:
Preprint of The
Fifth European-Japanese Seminar on Information Modelling and
Knowledge Bases. May 31 - June 3, 1995. Sapporo, Japan.
Book of the conference on 1995:
Tanaka,Y., Kangassalo,H.,
Jaakkola,H., Yamamoto,A., (Eds) Information Modelling and
Knowledge Bases VII. IOS Press, Amsterdam, 1996.
- Ohsuga,S.
-
Aspects of Conceptual Modeling - As Kernel of New Information
Technology. pp. 1-21.
-
Ho,T.B.
-
A Hybrid Model for Concept Formation. pp. 22-35.
-
Hori,K.
-
A Model to Explain and Predict the Effect of Human-Computer
Interaction in the Articulation Process for Concept Formation.
pp. 36-43.
-
Kiyoki,Y., Kitagawa,T., Miyahara,T.
-
A Fast Algorithm of Semantic Associative Search for Databases and
Knowledge Bases, pp. 44-58.
-
Wei Song,W.
-
An Investigation on Enterprise Modelling Integration. pp.
59-72.
-
Gustas,R., Bubenko jr.J., Wangler,B.
-
Goal Driven Enterprise Modelling: Bridging Pragmatic and Semantic
Descriptions of Information Systems. pp. 73-91.
-
Kirikova,M.
-
Explanatory Principles of Aristotle in Requirements Engineering.
pp. 92- 104.
-
Hakkarainen,S.
-
Analysing and Evaluating Heuristic Support for Schema Comparison.
pp. 105-119.
-
Toppano,E.
-
Automated Model Selection using a Preferenee-Based Approaeh.
pp. 120- 138.
-
Marjomaa,E.
-
Categories and Mutual Relevance: A Semiotic Point of View.
pp. 139-153.
-
Yoshiura,N., Yonezaki,N.
-
Relevant Inference and Reliability Dependent on Implication.
pp. 154-172.
-
Nagai,H., HayaseM., Kambayashi,Y.
-
Minimization and Storage Minimum Expression for Horn Clauses of
Propositional Logic. pp. 173-191.
-
Shioya,I.
-
Greibaeh Normal Fomm of Context Free Hypergraph Grammars. pp.
192- 212.
-
Konomi,S., Kagawa,O., Kambayashi,Y.
-
Flexible Sharing Mechanisms of Hypermedia Display Using Deputy
Objects. pp. 213-226.
-
Vaario,J.
-
Self-Organization in Coneeptual Modeling. pp. 227-249.
-
Kawaguchi,E., Wakiyama,M.
-
A Generalization of Semantic Difference Measure in the SD-Form
Semantics Model. pp. 250-273.
-
Hagrnan,J., Ljungberg,J.
-
Brute Facts vs. Institutional Facts of Language as a Foundation
for IR. pp. 274-285.
-
Soyoda,K., Watanabe,Y., Tokuda,T.
-
Two Ideal Models for Soflware Process Description. pp.
286-293.
-
Hamid,I.A.
-
Dynamic Modelling of he Behavior of Distributed Systems
Specification. pp. 294-313.
-
Kobayashi,T., Kakusho,K., Babaguchi,N., Kitahashi,T.
-
Object Models for Vision and Manipulator. pp. 314-317.
-
UenoH., Saito,Y.
-
Knowledge-Based Approach for Autonomous Robot with Visual and
Tactile Sensors. pp. 318-329.
-
Fischer Nilsson,J.F.
-
Object Logic for Conceptual Modelling with a Medical Domain as
Case Study. pp. 330-343.
-
Kangassalo,M.
-
PICCO as a Cognitive Tool, pp. 344-358.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1996
Hornbæck, Denmark, May 29 - June 1,
1996.
Proceedings of the conference on 1996:
Kangassalo,H.,
Nilsson,J.F., (Eds.) Preprint of The Sixth European-Japanese
Conference on Information Modelling and Knowledge Bases. May
28-31, 1996, Hornbæk, Denmark.
Book of the conference on 1996:
Kangassalo,H., Nilsson,J.F.,
Jaakkola,H., Ohsuga,S., (Eds) Information Modelling and Knowledge
Bases VIII. IOS Press, Amsterdam, 1997.
- Perrussel,L., Charrel,P.-J. Rothenburger,B.
-
A Formalism for Inter-Perspective Relationships Checking, pp.
1-10.
-
Ohsuga,S.
-
Multi-Strata Scheme for Conceptual Modeling, pp. 11-30.
-
Toppano,E.
-
Multistrategy Modeling: a Case Study in Design, pp. 31-46.
-
Tanaka,Y., Nakagawa,M.
-
Media-Based Architectures for Databases and Office Information
Systems. pp. 47-68.
-
Kawaguchi,E., Wakiyama,M., Niimi,M.
-
Toward Development of Multimedia Database System for
Conversational Natural Language. pp. 69-84.
-
Jensen,J.-P., Zahle,T.U.
-
Handling Sequences in Relational Databases. pp. 85-96.
-
Yoshizumi,H., Hori,K., Nakasuka,S.
-
Dynamic Conslruction of Knowledge Systems. pp. 97-112.
-
Altus,M.
-
Meta-Modelling in Conceptual Data Base Design Using a
Plausibility Function. pp. 113-128.
-
Spyratos,N., Stamate,D.
-
Multivalued Stable Semantics for Databases with Uncertain
Information. pp. 129-144.
-
Sugimoto,N., Ishizaka,H.
-
A Translation Procedure for Elementary Formal Systems. pp.
145-154.
-
Minamisawa,Y., Tomoishi,M., Yonezaki,N.
-
A New Semantics for Linear Logic and its Completeness. pp.
155-166.
-
Kirikova,M.
-
Knowledge Distribution During Requirements Engineering. pp.
167-180.
-
Lehner,F.,Maier,R.
-
Can Information Modelling be Successful without a Common
Perception of the Term "Information"? pp. 181-198.
-
Song,W.W.
-
Semantic Knowledge Acquisition and Computation in Conceptual
Schema Integration. pp. 199-212.
-
Berztiss,A.T.
-
Domains and Patterns in Conceptual Modeling, pp. 213-224.
-
Nakata,K., Ormsby,A.
-
Principles of Model Reuse: A Case Study in Electromechanical
Domain. pp. 225-240.
-
Andolina,R., Locuratolo,E.
-
ASSO: Behavioral Specialization Modelling. pp. 241-260.
-
Palomäki,J.
-
Three Kinds of Containment Relations of Concepts. pp.
261-278.
-
Compatangelo,E., Rumolo,G.
-
EDDLDP + PDDLDP = a Double-Level Approach to Domain Knowledge
Modelling. pp. 279-296.
-
Iwasa,H.,. Uchida,Y., Babaguchi,N., Kitahashi,T., Yokoya,N.
-
Formation of Overlapping Concepts: An Unsupervised Learning
Approach. pp. 297-308.
-
Haav,H.-M.
-
An Object Classifier Based on Galois Approach, pp. 309-320.
-
Miyahara,T.
-
Refutable Inference of Functions Computed by Loop Programs.
pp. 321- 334.
-
Matsumoto,S., Shinohara,A., H. Arimura,H., Shinohara,T.
-
Learning Subsequence Languages, pp. 335-344.
-
Kiyoki,Y., Kitagawa,T., Kurata,K.
-
An Adaptive Learning Mechanism for Semantic Associative Search in
Databases and Knowledge Bases, pp. 345-360.
-
Koch,G.
-
Semantic Analysis of a Scientific Abstract Using a Rigoristic
Approach, pp. 361-370.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1997
Toulouse, France, May 27 - May 30, 1997
Proceedings of the conference on 1997:
Kangassalo,H.,
Charrel,P.-J., (Eds.) Preprint of the Seventh European-Japanese
Conference on Information Modelling and Knowledge Bases. May
27-30, Toulouse, France.
In the conference, the following four presentations were given,
which are not included into the book.
- Kangassalo,H.
-
Frameworks of Modelling: Conceptual, Logical, Linguistic, and
Technical Realms.
-
Guarino,N.
-
Top-Level Ontological Distinctions and Their Role in Information
Modelling. Invited presentation.
-
Ho,T.B.
-
Acquiring Concept Approximations in the Framework of Rough
Concept Analysis, pp. 186-195.
-
Hamid,I.A., Khendek,F.
-
A Dynamic Modelling for the Extensions of Distributed Systems
Specifications, pp. 309-326.
Book of the conference on 1997:
Charrel,P.-J., Kangassalo,H.,
Jaakkola,H., Kawaguchi,E., (Eds) Information Modelling and
Knowledge Bases IX. IOS Press, Amsterdam, 1998.
- Steve,G., Gangemi,A.
-
Pisanelli,D.M. Ontological Integration of Terminologies with
ONIONS, pp. 1-18.
-
Goni,G., Mena,E.,Illarramendi,A.
-
Querying Heterogenous and Distributed Data Repositories using
Ontologies, pp. 19-34.
-
Reynaud,C., Aussenac-Gilles,N., Tort,F.
-
A Support to Domain Knowledge Modelling - A case study, pp.
35-50.
-
Compatangelo,E., Rumolo,G.
-
An Engineering Framework for Domain Knowledge Modelling, pp.
51-65.
-
Cardon,A.
-
A Model of Communication and Information Systems Representing the
Intentionality of Operators: the Acts of Communication, pp.
66-82.
-
Ohsuga,S.
-
Multi-Strata Model and its Applications - Particularly in
Automatic Programming, pp. 83-99.
-
Nilsson,J.F., Palomäki,.J.
-
Towards Computing with Extensions and Intensions of Concepts,
pp. 100-114.
-
Duzi,M., Pokorny,J.
-
Semantics of General Data Structures, pp. 115-130.
-
Ho,T.B., Nguyen,T.D., Shimodaira,J., Kimura,M.
-
An Interactive-Graphic System for Discovering and Using
Conceptual Knowledge, pp. 131-145.
-
Massart,D., Richelle,J.
-
Object-Oriented Conceptual Modeling of Databases for
Macromolecular Structures, pp. 146-159.
-
Matskin,M., Montesi,D.
-
Visual Rule Language for Active Database Modelling, pp.
160-175.
-
Akaishi,M., Tanaka,Y.
-
An Efficient Search Method for Context Queries in the Meme Media
System, pp. 176-191.
-
Kirikova,M.
-
Consistency of Information in Requirements Engineering, pp.
192-205.
-
Eden.P.
-
Mutual Redundancy in Conceptual Schemas, pp. 206-220.
-
Kiyoki,Y., Miyagawa,A., Kitagawa,T.
-
A Multiple View Mechanism with Semantic Learning for
Multidatabase Environments, pp. 221-238.
-
Kangassalo,M.
-
Modelling a Natural Phenomenon for a Pictorial Computer-Based
Simulation, pp. 239-254.
-
Kawaguchi,E., Niimi,M.
-
Modeling Digital Image into Informative and Noise-Like Regions by
Complexity Measure, pp. 255-265.
-
Tokuda,T., Ritthongpitak,C., Kawai,K.
-
A completely codeless model for algorithm animations, pp.
266-274.
-
Yasumura,Y., Orimoto,K., Babaguchi,N., Kitahashi,T.
-
Acquisition of an Object Structural Model of a Class, pp.
275-281.
-
Nakata,K.
-
Guiding Design through Causal Reasoning, pp. 282-296.
-
Nurcan,S., Rolland,C.
-
Meta-modelling for Cooperative Processes, pp. 297-315.
-
Harada,N., Arikawa,S., Ishizaka,H.
-
A Class of Elementary Formal Systems that has an Efficient
Parsing Algorithm, pp. 316-329.
-
Ligeza,A., Fuster Parra,P.
-
A Multi-Level Knowledge-Based Model of Diagnostic Reasoning,
pp. 330-344.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1998
Hotel Ellivuori, Vammala, Finland, May 26-29,
1998.
Proceedings of the conference on 1998:
Proceedings of the
8th European-Japanese Conference on Information Modelling and
Knowledge Bases. Series A - Pori School of Technology and
Economics, No A 19, Pori 1998.
Book of the conference on 1998:
Jaakkola,H., Kangassalo,H.,
Kawaguchi,E., (Eds) Information Modelling and Knowledge Bases X.
IOS Press, Amsterdam, 1999.
- Kurki-Suonio,R., Tommi Mikkonen,T.
-
Harnessing the Power of Interaction, pp. 1-11. Invited paper.
-
Ohsuga,S.
-
Intelligent Information System As Agent - Integration,
Negotiation and Collaboration, pp. 12-26.
-
Maier,R.
-
Modelling Organisational Information Processing, pp. 27-41 .
-
Kirikova,M.
-
Towards Completeness of Business Models, pp. 42-54.
-
Leppälä,K.
-
Shared Engineering Knowledge - Concepts and Framework, pp.
55-66.
-
Aurum,A.
-
Validation of Semantic Techniques used in Solo Brainstorming
Documents, pp. 67-79.
-
Berztiss,A.T.
-
Concepts, Objects, and Domains, pp. 80-89.
-
Junkkari,M., Niinimäki,M.
-
An Algebraic Approach to Kauppi's Concept Theory, pp. 90-102.
-
Nilsson,J.F. Haav, H.M.
-
Inducing Queries from Examples as Concept Formation, pp.
103-114.
-
Compatangelo,E., Donini,F.M., Rumolo,G.
-
Engineering of KR-Based Support Systems for Conceptual Modelling
& Analysis, pp. 115-131.
-
Niimi,M., Kawaguchi,E.
-
An Automatic Abstraction Method by using SD-Forms, pp.
132-135.
-
Kitagawa,T., Kiyoki,Y., Nakamura,K.
-
A Semantic Media Data Search Method Based on a Mathematical Model
of Meaning for Multimedia Information Systems, pp. 136-151.
-
Ben Achour,C.
-
Guiding Scenario Authoring, pp. 152-171.
-
Si-Said,S., Rolland,C.
-
Formalising Guidance for the Crews Goal-Scenario Approach to
Requirements Engineering, pp. 172-190.
-
Perrussel,L., Rothenburger,B.
-
A Formalism for Convergence Measurement in a multi-viewpoint
Requirement Process, pp. 191-199.
-
Prakash,N., Gupta,D.
-
An Architecture for a CAME Tool, pp. 200-219.
-
Cheong,Y.C. Jarzabek,S.
-
Modelling Variant User Requirements in Domain Engineering for
Reuse, pp. 220-234.
-
Locuratolo,E., Matthews,B.
-
On the Relationship between ASSO and B, pp. 235-253.
-
Analyti,A., Spyratos,N., Constantopoulos,P., Doerr,M.
-
Inheritance under Participation Constraints and Disjointness,
pp. 254-274.
-
Schewe,K.-D.
-
Fundamentals of Consistency Enforcement, pp. 275-291.
-
Niemi,T.
-
Transforming Concept D Schema into Relational Database Schema,
pp. 292-306.
-
Boley,H.
-
ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs,
pp. 307-326.
-
Ueno,H.
-
Knowledge-Based Vision and Scheduling in Autonomous Human Type
Service Robot, pp. 327-342.
-
Kawaguchi,E., Nozaki,K., Niimi,M., Noda,H., Eason,R.O.
-
A Concept of Digital Picture Envelope for Internet Communication,
pp. 343-350.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 1999
APPI Grand Hotel, Hachimantai, Japan, May
24-28, 1999.
Proceedings of the conference on 1999:
Proceedings of the
9th European-Japanese Conference on Information Modelling and
Knowledge Bases.
Book of the conference on 1999:
Kawaguchi,E., Kangassalo,H.,
Jaakkola,H., Hamid I.A. , (Eds) Information Modelling and
Knowledge Bases XI. IOS Press, Amsterdam, 2000.
- Poli, R., Mazzola G.
-
Semiotic Aspects of Generalized Bases of Data, pp. 1-11.
-
Ho, T.B.
-
Two approaches to the Representation and Interpretation of
Concept Lattices, pp. 12-25.
-
Nilsson, J.F.
-
A Conceptual Space Logic, pp. 26-40.
-
Iivari, J.
-
Information Systems Development as Knowledge Work: The Body of
Systems Development Process Knowledge, pp. 41-56
-
Wangler, B., Holmin, S., Loucopoulos, P., Kardasis, P., Xini, G.,
Filippidou, D.
-
A Customer Profiling Framework for the Banking Sector, pp.
57-73.
-
Kiyoki, Y., Kitagawa, T.
-
Application of a Semantic Associative Search Method to
Multidatabases for Environmental Information, pp. 74-84.
-
Shoudai, T., Miyahara, T., Uchida, T., Matsumoto, S.
-
Inductive Inference of Regular Term Free Languages and Its
Application to Knowledge Discovery, pp. 85-102.
-
Koch, G.
-
A Method of Automated Semantic Parser Generation with an
Application to Language Technology, pp. 103-108.
-
Ramamonjisoa, D., Hamid, I.A.
-
Modelling Multi-Agent Coordination, pp. 109-113.
-
Kirikova, M.
-
Potential Role of Enterprise Models in Organisational Knowledge
Processing, pp. 114-127.
-
Aoyama, M.
-
Intelligent Software Services over the Internet, pp. 128-135.
-
Cheng, J.
-
A Strong Relevant Logic Model of Epistemic Processes in
Scientific Discovery, pp. 136-159.
-
Ohsuga, S.
-
A New Modeling Scheme for Problem Solving and Automatic
Programming, pp. 160-174.
-
Junkkari, M., Niinimäki, M.
-
An Algebraic Approach to Kauppi's Concept Theory II: Functional
Representation of Concept Operations and Concept Associations,
pp. 175-187.
-
Niemi, T.
-
New approaches to Intensional Concept Theory, pp. 188-204.
-
Yoshihara, S., Wakiyama, M., Kawaguchi, E.
-
An Experiment on Japanese-Sentence Generation from SD-Formed
Semantic Data, pp. 205-221.
-
Lalmas, M., Ruthven, I.
-
A Framework for Investigating the Interaction in Information
Retrieval, pp. 222-239.
-
Ekenberg, L., Johannessson, P.
-
Detecting Temporal Agent Conflicts, pp. 240-250.
-
Kangassalo, M.
-
Changes in Children's Conceptual Models and the Development of
Children's Exploration Strategies in the PICCO Environment, pp.
251-255.
-
Schewe, K-D.
-
The Type Concept in OODB Modelling and its Logical Implications,
pp. 256-274.
-
Oinas-Kukkonen, H.
-
Representing Metaknowledge through Rich Links, pp. 275-282.
-
Song, W., Hakkarainen, S., Karlberg, P., Soltesz, T.
-
Electronic Document Exchange and Management for the Governmental
Organizations, pp. 283-288.
-
Nagamatu, M., Yanaru, T.
-
Solving SAT by Lagrange Programming Neural Network with Long and
Short Term Memories, pp. 289-301.
-
Shibata, F., Kakusho, K., Ashida, M., Kitahashi, T.
-
Concept Learning in Linguistic Navigation of Robots, pp.
302-314.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 2000
Hotel Saariselkä, Saariselkä, Finland, May 8-11, 2000.
Proceedings of the conference on 2000:
Proceedings of the
10th European-Japanese Conference on Information Modelling and
Knowledge Bases. Series A - Pori School of Technology and
Economics, No A 28, Pori 2000.
Book of the conference on 2000:
Jaakkola,H., Kangassalo,H.,
Kawaguchi,E., (Eds) Information Modelling and Knowledge Bases XII.
IOS Press, Amsterdam, 2001.
- Mizzaro, S.
-
Towards a Theory of Epistemic Information, pp. 1-20.
-
Hausser, R.
-
The Four Basic Ontologies of Semantic Interpretation, pp.
21-40.
-
Katsurada, K., Ohara, K., Babaguchi, N., Kitahashi, T.
-
On Operations for Reconstructing the Complete/Incomplete
Knowledge, pp. 41-51.
-
Niinimäki, M.
-
Intensional and Extensional Languages in Conceptual Modelling,
pp. 52-64
-
Duzi, M.
-
Logical Foundations of Conceptual Modelling Using HIT Data Model,
pp. 65-80.
-
Hesse, W., Verrijn-Stuart A.
-
Towards a Theory of Information Systems: The FRISCO Approach,
pp. 81-91.
-
Niemi, T., Nummenmaa, J.
-
A Query Method Based on Intensional Concept Definition, pp.
92-106.
-
Ciarlini, A.E.M., Veloso, P.A.S., Furtado, A.L.
-
A Formal Framework for Modelling at the Behavioural Level,
pp. 107-122.
-
Ueno, H.
-
A Cognitive Science-Based Knowledge Modeling for Autonomous
Humanoid Service Robot -Towards a Human-Robot Symbiosis-, pp.
123-136.
-
Sawamura, H., Maeda, S.
-
An Argumentation-Based Model of Multi-Agent Systems, pp.
137-150.
-
Ambroszkiewicz, S.
-
Semantic Interoperability in Agentspace: An Approach to Concept
Meaning, pp. 151-160.
-
Liebig, T., Finkenzeller, D., Luther, M.
-
KB-VISION: A Tool for Graphical Manipulation and Visualization of
Domain Models, pp. 161-168.
-
Yoshihara, S., Wakiyama, M., Kawaguchi E.
-
An Experimental System of Inductive Inference from a
Concept-Triple in SD-Form Semantics Model, pp. 169-176.
-
Sicilia, M-Á., Dodero, J-M.
-
User Stereotype Modelling for Approximate Reasoning-Based
Adaptive Enterprise Portals, pp. 177-184.
-
Schewe, K-D.
-
UML: A Modern Dinosaur? A Critical Analysis of the Unified
Modelling Language, pp. 185-202.
-
Pinheiro da Silva, P., Paton, N.W.
-
User Interface Modelling with UML, pp. 203-217.
-
Kuzniarz, L., Piasecki, M.
-
Modelling Basic Multimedia Notions in UML, pp. 218-234.
-
Hatakama, H., Terano, T.
-
Modelling Knowledge Logistics for Knowledge Management, pp.
235-247.
-
Katsurada, K., Koyama, M., Ohara, K., Babaguchi, N., Kitahashi, T.
-
Converting Ordinary Rules into Default Rules Based on
Contradiction of Knowledge Base, pp. 248-258.
-
Kangassalo, M.
-
Explorative Learning in PICCO Environment, pp. 259-261.
-
Fukamachi, S., Shinohara, T.
-
Speed-Up of Approximate String Matching Using Lossy Compression,
pp. 262-263.
-
Brumen, B., Jaakkola, H., Welzer, T.
-
Predicting Sample Size in Data Mining Tasks Using Additive
Incremental Approach, pp. 264-270.
-
Weippl, E., Lohninger H.
-
Knowledge Landscapes: A VR Interface for Web-Based Training
Knowledge Bases, pp. 271-274.
-
Todirascu, A., de Beuvron, F., Rousselot, F.
-
An Ontology-Based Approach to Information Retrieval, pp.
275-278.
-
Giannotti, F., Nanni, M., Pedreschi, D.
-
Logic-Based Knowledge Discovery in Databases, pp. 279-283.
-
Kalja, A., Kotkas, V., Tiidemann, T.
-
CAD Problem Solving and Technical Systems Modelling Using the AI
Programming Environments, pp. 284-290.
-
Tan, J.K., Ishikawa, S.
-
An Efficient Technique for Modelling 3-D Objects, pp.
291-298.
-
Chen, X., Kiyoki, Y., Kitagawa, T.
-
A Semantic Metadata-Translation Method for Multilingual
Cross-Language Information Retrieval, pp. 299-315.
-
Kitagawa, T., Kiyoki, Y.
-
Fundamental Framework for Media Data Retrieval Systems using
Media-lexico Transformation Operator -in the Case of Musical MIDI
Data-, pp. 316-326.
-
Matsuzaki, T., Tokuda, T.
-
A Communicating Tree Model for Generating Network Applications,
pp. 327-338.
-
Schewe, K-D.
-
Discussion Session on Concept Theory and Conceptual Modelling,
pp. 339-345.
-
Duzi, M.
-
A Contribution to the Discussion on Concept Theory, pp.
346-350.
-
Hausser, R.
-
Modeling Everyday Thought in Database Semantics, pp. 351-352.
-
Palomäki, J.
-
Concept Theory vs. Set Theory, pp. 353-362.
-
Aoshima, T., Yonezaki, N.
-
An Efficient Tableau-Based Verification Method with Partial
Evaluation for Reactive System Specifications, pp. 363-374.
-
Koning, J-L, Huget, M-P.
-
A Semi-Formal Specification Language Dedicated to Interaction
Protocols, pp. 375-392.
-
Funyu, Y., Inoue H.
-
A New Concept on Manufacturing Enterprises Information Model,
pp. 393-409.
-
Kirikova, M.
-
Business Modelling and Use Cases in Requirements Engineering,
pp. 410-420.
European-Japanese conferences on Information
Modelling and Knowledge Bases:
Conference 2001
Maribor, Slovenia, Hotel Habakuk, May 29 - June 1, 2001
PRELIMINARY PROGRAMME
Monday, 2001-05-28
20.00 Get together reception (informal), Hotel Habakuk
________________________________________________________
Tuesday, 2001-05-29
KEYNOTE ADDRESS:
9.00 *Yuzuru Tanaka, Hokkaido University, Japan
- Topica Framework for Organizing and Accessing Intellectual Assets on Meme Media
Questions and discussion on Topica Framework
10.20 BREAK (20 min)
10.40 (1) *Simon Milton, Ed. Kazmierczak, University of Melbourne, Australia
- An Ontological Study of Data Modelling Languages using Chisholm's Ontology
11.20 (2) *Marko Niinimäki, University of Tampere, Finland
- Concept Research and Conceptual Modelling - Explicating the Semantics of Concept Diagrams
12.00 LUNCH (1 hour)
13.00 (3) *Setsuo Ohsuga, Waseda University, Japan, Shigeaki Takaki, Iwate Prefectural University, Japan
- Enlarging the Capability of Information System - Toward Autonomous Multi-Tasking Systems
13.40 (4) *Jaak Henno, Tallinn Technical University, Estonia
- Learning in Multi-agent systems
14.20 TEA/COFFEE BREAK (20 min)
14.40 (5) *Naoko Izumi, Jumonji University, Japan, Naoki Yonezaki, Tokyo Institute of Technology, Japan
- A Logic of Ontology for Object Oriented Software Component
15.20 (6) *Noriaki Yoshiura, Naoki Yonezaki, Tokyo Institute of Technology, Japan
- Provability of Relevant Logic ER
16.00 BREAK (20 min)
16.20 (7) *Eva Söderström, University of Skövde, Sweden
- Implication of Standardization Efforts for Business Process Modeling, Short paper
16.40 (8) *Patrick Etcheverry, Philippe Lopistéguy, Pantxika Dagorret, Université de Pau et Pays de l'Adour, France
- Two Structural Axes for a Coordination Pattern Catalogue, Short paper
17.00 (9) *Petteri Kerminen, Hannu Jaakkola, Tampere University of -Technology, Pori School of Technology, Finland
- Conceptual Modeling of Image's Content, Poster
17.10 (10) *Marjatta Kangassalo, University of Tampere, Finland
- Modelling the Development of Children's Conceptual Models and Conceptual Change, Poster
17.20 End of the first day presentations
19.00 Wine tasting and dinner (wine cellar)
________________________________________________________
Wednesday, 2001-05-30
8.30 (11) *Thomas Feyer, Brandenburg Technical University at Cottbus, Germany, Marcela Varas, Marta Fernandez, Universidad de
Concepción, Chile, Bernhard Thalheim, Brandenburg Technical University at Cottbus, Germany
- Intensional Logic for Integrity Constraint Specification in
Predesign Database Modeling
9.10 (12) *Tapio Niemi, Jyrki Nummenmaa, University of Tampere, Finland, Peter Thanisch, Accrue Software Inc, Scotland
- Applying Intensional Concept Theory to OLAP Design and Queries
9.50 BREAK (20 min)
10.10 (13) *Gian Piero Zarri, CNRS, France
- Conceptual Modelling and Knowledge Management for Narrative Multimedia Documents
10.50 (14) *Alfs T. Berztiss, University of Pittsburgh, USA
- Time in Modeling
11.30 *- Discussion session: Modelling of Time
Moderator: Alfs T. Berztiss, University of Pittsburgh, USA
12.00 LUNCH
13.00 (15) *Setsuo Ohsuga, Waseda University, Japan, Hiroyoshi Ohshima, Iwate Prefectural University, Japan
- A Practical Approach to Intelligent Multi-Task Systems -Structuring Knowledge Base and Generation of Problem Solving System
13.40 (16). *Roland Hausser, University of Erlangen-Nurnberg, Germany
- Autonomous Control Structure for Artificial Cognitive Agents
14.20 End of the second day presentations
14.20 TEA/COFFEE BREAK (20 min)
14.40 Hiking tour and picnic dinner (19.00?)
________________________________________________________
Thursday, 2001-05-31
8.30 (17) *Pekka Savolainen, VTT Electronics, Finland
- Modelling Variant Embedded Software Behavior Using Structured Documentation
9.10 (18) *Mina Akaishi, Hokkaido University, Japan, Nicolas Spyratos, Université de Paris-Sud, France, Yuzuru Tanaka,
Hokkaido University, Japan
- A Component-Based Application Framework for Context-Driven Information Access
9.50 BREAK (20 min)
10.10 (19) *Marite Kirikova, Riga Technical University, Latvia
- Modelling the Boundaries of Workspace: A Business Process Perspective
10.50 (20) *Elvira Locuratolo, Consiglio Nazionale delle Ricerche, Italy
- Designing Methods for Quality
11.30 (21) *Jørgen Fischer Nilsson, Technical University of Denmark, Denmark
- Concept Descriptions for Text Search, Position paper
11.45 (22) *Bostjan Brumen, Tatjana Welzer, University of Maribor, Slovenia, Hannu Jaakkola, Tampere University of Technology, Pori
School of
Technology, Finland, Izidor Golob, University of Maribor, Slovenia
- Adaptive Incremental Approach to Construction of Classification Models, Position paper
12.00 LUNCH
13.00 (23) *Yannis Tzitzikas, University of Crete, Greece, Nicolas Spyratos, Université de Paris-Sud, France, Panos
Constanstopoulos, University of Crete,Greece
- Deriving Valid Expressions from Ontology Definitions
13.40 (24). *Dai Sakai, Yasushi Kiyoki, Keio University, Japan, Naofumi Yoshida, Takashi Kitagawa, University of Tsukuba, Japan
- A Semantic Information Filtering and Clustering Method for Document Data with a Context Recognition Mechanism
14.20 TEA/COFFEE BREAK (20 min)
Session 11: Concepts, Concept theories, and Conceptual Modelling
Chairperson: Klaus-Dietrich Schewe, Massey University, New Zealand
14.40 (25) *Bart-Jan Hommes, Jan Dietz, Delft University of Technology, The Netherlands
- Understanding Concepts and their Relationship to Reality, Introduction to a discussion session
15.10. Session 12: Discussion session: Concept theories and conceptual modelling
18.00 End of the third day presentations
19.30 CONFERENCE DINNER (OUT)
________________________________________________________
Friday, 2001-06-01
8.30 (27) *Kornkamol Jamroendararasame, Tomohiro Matsuzaki, Tetsuya, Suzuki, Takehiro Tokuda, Tokyo Institute of Technology,
Japan
- Two Generators of Secure Web-based Transaction Systems
9.10 (28) *Udo Hahn, Freiburg University, Germany, Stefan Schulz, Freiburg University Hospital, Germany
- Ontology Engineering by Thesaurus Re-Engineering
9.50 TEA/COFFEE BREAK (20 min)
10.10 (29) *Peter Kokol, Vili Podgorelec, University of Maribor, Slovenia, Ryuichi Yamamoto, Gou Masuda, Osaka Medical College, Japan
Rihiro Sakamoto, Kyushu University, Japan
- Medical Knowledge Extraction via Hybrid Decision Trees, Short paper
10.30 (30) *Gregers Koch, Copenhagen University, Denmark
- Some New Methods for the Design and Automatic Building of Semantic Representations, Short paper
10.50 (31) *Vuthichai Ampornaramveth, Haruki Ueno, National Institute of Informatics, Japan
- Concepts of Symbiotic Information System and its Application to Robotics
Announcement of the next conference
Closing of the conference
Viimeksi päivitetty: 22 June, 2001, 14:45 / Hannu
Kangassalo