Information modelling and knowledge bases: 5 Principles and formal techniques
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam u.a.
IOS Press
1994
|
| Series: | Frontiers in artificial intelligence and applications
... |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 437 S. Ill., graph. Darst. |
| ISBN: | 9051991436 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV013421795 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 001107s1994 ad|| |||| 00||| eng d | ||
| 020 | |a 9051991436 |9 90-5199-143-6 | ||
| 035 | |a (OCoLC)32127041 | ||
| 035 | |a (DE-599)BVBBV013421795 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 245 | 1 | 0 | |a Information modelling and knowledge bases |n 5 |p Principles and formal techniques |c ed. by Setsuo Ohsuga ... |
| 264 | 1 | |a Amsterdam u.a. |b IOS Press |c 1994 | |
| 300 | |a X, 437 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications |v ... | |
| 650 | 7 | |a Kennisrepresentatie |2 gtt | |
| 650 | 7 | |a Kennissystemen |2 gtt | |
| 650 | 7 | |a Systèmes experts (informatique) |2 ram | |
| 650 | 7 | |a Wiskundige modellen |2 gtt | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a System design | |
| 700 | 1 | |a Ohsuga, Setsuo |e Sonstige |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV008816582 |g 5 |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009158606&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009158606 | ||
Record in the Search Index
| _version_ | 1804128209045815296 |
|---|---|
| adam_text | INFORMATION MODELLING AND KNOWLEDGE BASES V: PRINCIPLES AND FORMAL
TECHNIQUES EDITED BY HANNU JAAKKOLA TAMPERE UNIVERSITY OF TECHNOLOGY,
FINLAND HANNU KANGASSALO UNIVERSITY OF TAMPERE, FINLAND TADAHIRO
KITAHASHI UNIVERSITY OF OSAKA, JAPAN ANDRAS MARKUS HUNGARIAN ACADEMY OF
SCIENCES, HUNGARY I0S PRESS 1994 AMSTERDAM * OXFORD * WASHINGTON, DC *
TOKYO IX CONTENTS PREFACE V IN MEMORIAM PROFESSOR ISAMU KOBAYASHI VII A
STUDY OF ARTIFICIAL LIFE AS A MODEL OF AUTOMATIC MODEL BUILDING, INVITED
PRESENTATION, S. OHSUGA AND J. VAARIO 1 COMPLETE DECOMPOSITIONS OF JOIN
DEPENDENCIES: EXTENDED ABSTRACT, /. KOBAYASHI 23 WHAT S IN A CONCEPT?
THOUGHTS ON FORMAL TECHNIQUES AND USEFULNESS, A. BIJL 34 A CONCEPTUAL
MODEL AS A MENTAL CONSTRUCT: ITS ORIGIN, DEVELOPMENT, FUNC- TION AND
ELICITATION, M. KANGASSALO 50 PROCESSIVE RELEVANCE IN CONCEPTUAL
MODELLING, E. MARJOMAA 62 AN ALGEBRAIC LOGIC FOR CONCEPT STRUCTURES, /.
FISCHER NILSSON 75 MODELING THE REQUIREMENTS ENGINEERING PROCESS, C.
ROLLAND 85 MULTIPLE VIEWPOINTS FOR COMPLEX SYSTEMS DESIGN, P. -J.
CHARREL, D. GALARRETA P. KELLER AND B. ROTHENBURGER 97 A FRAMEWORK OF
STORY UNDERSTANDING IN THE SD-FORM SEMANTICS MODEL, E. KAWAGUCHI, M.
WAKIYAMA, G. SHAO AND M. LEE 119 TOWARDS THE FOUNDATIONS OF CONCEPT
THEORY, J. PALOMAKI 139 RELATIONSHIP LATTICES FOR INFORMATION MODELLING,
G. SCHMELTZ PEDERSEN 155 IMPRECISE QUERIES AND THE QUALITY OF CONCEPTUAL
MODELS, A.T. BERZTISS 174 A FURTHER CONSIDERATION ON THE FUNCTIONAL
MODELS, K. KISE, M. ASHIDA, S. DAN AND T. KITAHASHI 186 CONCEPTUAL
MODELLING AS THEORY CONSTRUCTION: SOME IMPLICATIONS FOR THE METALEVEL
TREATMENT, T. VADEN 191 CHUNK GRAMMARS FOR PC HYPERTEXT, J. HENNO 202 AN
ATTIBUTE GRAMMAR MODELLING OF INTERACTIVE FIGURES, T. TOKUDA AND Y.
WATANABE 212 PRINCIPLES OF OBJECT ORIENTED DATABASE DESIGN, K.-D.
SCHEWE, B. THALHEIM 227 F2 CONCEPT : A DATABASE SYSTEM FOR MANAGING
CLASSES EXTENSIONS AND INTEN- SIONS, G. FALQUET, M. LEONARD AND J.
SINDAYAMAZE 243 A FORMAL NOTATION FOR DATABASE CONCEPTUAL SCHEMA
SPECIFICATIONS, D. CASTELLI AND E. LOCURATOLO 257 DATABASE DESIGN
MODIFICATIONS BASED ON CONCEPTUAL MODELLING, P. VAN BOMMEL 275 A
METADATABASE SYSTEM FOR SUPPORTING SEMANTIC INTEROPERABILITY IN MULTI-
DATABASES, Y. KIYOKI AND T. KITAGAWA 287 EXPERIMENTAL DATA MODELLING BY
RAPID PROTOTYPING, A. SALMINEN 299 A CONCEPTUAL SCHEMA WITH TIME:
MODELLING THE ISO-CASE WITH TEMPORA, B. WANGLER 313 BACKWARD DUAL
RESOLUTION. DIRECT PROVING OF GENERALIZATION, A. LIGEZA 336 X CONTENTS A
DISCUSSION OF SEMANTIC ABSTRACTION, G. KOCH 350 A LOGIC DATABASE
LANGUAGE WITH TREE PATTERNS, /. SHIOYA 357 INDUCTIVE INFERENCE OF PROLOG
PROGRAMS WITH LINEAR DATA DEPENDENCY FROM POSITIVE DATA, H. ARIMURA AND
T. SHINOHARA 36 5 AN AUTHORIZATION MECHANISM FOR DECENTRALIZED DYNAMIC
SECURITY MANAGE- MENT, H. LINAAE, I. WEIDEMANN LAVSETH AND Y. KAMBAYASHI
376 EXTRACTION OF DATA DEPENDENCIES, M. CASTELLANOS AND F. SALTOR 400
SOFTWARE PROCESS MODELLING WITH THE TAP APPROACH: TASKS-AGENTS-PRODUCTS,
T. KINNULA, J. LJUNGBERG, N. YONEZAKI AND M. SAEKI 421 AUTHOR INDEX 436
ORGANISATION 437
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV013421795 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S88 |
| callnumber-search | QA76.9.S88 |
| callnumber-sort | QA 276.9 S88 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)32127041 (DE-599)BVBBV013421795 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01479nam a2200397 cc4500</leader><controlfield tag="001">BV013421795</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001107s1994 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9051991436</subfield><subfield code="9">90-5199-143-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32127041</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013421795</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S88</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Information modelling and knowledge bases</subfield><subfield code="n">5</subfield><subfield code="p">Principles and formal techniques</subfield><subfield code="c">ed. by Setsuo Ohsuga ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">IOS Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 437 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">...</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kennisrepresentatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kennissystemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes experts (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige modellen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ohsuga, Setsuo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV008816582</subfield><subfield code="g">5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009158606&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009158606</subfield></datafield></record></collection> |
| id | DE-604.BV013421795 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:45:36Z |
| institution | BVB |
| isbn | 9051991436 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009158606 |
| oclc_num | 32127041 |
| open_access_boolean | |
| owner | DE-29 |
| owner_facet | DE-29 |
| physical | X, 437 S. Ill., graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Information modelling and knowledge bases 5 Principles and formal techniques ed. by Setsuo Ohsuga ... Amsterdam u.a. IOS Press 1994 X, 437 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Frontiers in artificial intelligence and applications ... Kennisrepresentatie gtt Kennissystemen gtt Systèmes experts (informatique) ram Wiskundige modellen gtt Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) System design Ohsuga, Setsuo Sonstige oth (DE-604)BV008816582 5 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009158606&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Information modelling and knowledge bases Kennisrepresentatie gtt Kennissystemen gtt Systèmes experts (informatique) ram Wiskundige modellen gtt Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) System design |
| title | Information modelling and knowledge bases |
| title_auth | Information modelling and knowledge bases |
| title_exact_search | Information modelling and knowledge bases |
| title_full | Information modelling and knowledge bases 5 Principles and formal techniques ed. by Setsuo Ohsuga ... |
| title_fullStr | Information modelling and knowledge bases 5 Principles and formal techniques ed. by Setsuo Ohsuga ... |
| title_full_unstemmed | Information modelling and knowledge bases 5 Principles and formal techniques ed. by Setsuo Ohsuga ... |
| title_short | Information modelling and knowledge bases |
| title_sort | information modelling and knowledge bases principles and formal techniques |
| topic | Kennisrepresentatie gtt Kennissystemen gtt Systèmes experts (informatique) ram Wiskundige modellen gtt Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) System design |
| topic_facet | Kennisrepresentatie Kennissystemen Systèmes experts (informatique) Wiskundige modellen Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) System design |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009158606&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008816582 |
| work_keys_str_mv | AT ohsugasetsuo informationmodellingandknowledgebases5 |