Author: W. Wahlster
Publisher: Springer Science & Business Media
ISBN: 3642688268
Category : Computers
Languages : de
Pages : 253
Book Description
GWAI-82
Author: W. Wahlster
Publisher: Springer Science & Business Media
ISBN: 3642688268
Category : Computers
Languages : de
Pages : 253
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642688268
Category : Computers
Languages : de
Pages : 253
Book Description
GWAI-82, 6th German Workshop on Artificial Intelligence
Author: Wolfgang Wahlster
Publisher:
ISBN:
Category : Computers
Languages : de
Pages : 264
Book Description
Publisher:
ISBN:
Category : Computers
Languages : de
Pages : 264
Book Description
GWAI-85
Author: Herbert Stoyan
Publisher: Springer-Verlag
ISBN: 3642711456
Category : Computers
Languages : de
Pages : 481
Book Description
Publisher: Springer-Verlag
ISBN: 3642711456
Category : Computers
Languages : de
Pages : 481
Book Description
GWAI-84
Author: Joachim Laubsch
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
German Workshop on Artificial Intelligence
Applications and Theory of Petri Nets
Author: A. Pagnoni
Publisher: Springer Science & Business Media
ISBN: 3642690289
Category : Computers
Languages : en
Pages : 323
Book Description
This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.
Publisher: Springer Science & Business Media
ISBN: 3642690289
Category : Computers
Languages : en
Pages : 323
Book Description
This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.
Natural Language Communication with Pictorial Information Systems
Author: Leonard Bolc
Publisher: Springer Science & Business Media
ISBN: 3642822851
Category : Computers
Languages : en
Pages : 334
Book Description
This book contains the reports of selected projects involving natural language commu nication with pictorial information systems. More than just a record of research results, however, it presents concrete applications to the solution of a wide variety of problems. The authors are all prominent figures in the field whose authoritative contributions help ensure its continued expansion in both size and significance. Y. C. Lee and K S. Fu (Purdue University, USA) survey picture query languages which form an interface between the pictorial database system and the user and support infor mation retrieval, data entry and manipulation, data analysis and output generation. They include explicit picture query languages that augment alphanumeric data query langua ges as well as languages and command sets which are implicitly embedded in a pictorial information system but perform similar functions. It is worth mentioning that some forms of query languages can be transformed from a given set of natural language senten ces by using ATN (Augmented Transition Networks), which consequently allows for na turallanguage communication with information system.
Publisher: Springer Science & Business Media
ISBN: 3642822851
Category : Computers
Languages : en
Pages : 334
Book Description
This book contains the reports of selected projects involving natural language commu nication with pictorial information systems. More than just a record of research results, however, it presents concrete applications to the solution of a wide variety of problems. The authors are all prominent figures in the field whose authoritative contributions help ensure its continued expansion in both size and significance. Y. C. Lee and K S. Fu (Purdue University, USA) survey picture query languages which form an interface between the pictorial database system and the user and support infor mation retrieval, data entry and manipulation, data analysis and output generation. They include explicit picture query languages that augment alphanumeric data query langua ges as well as languages and command sets which are implicitly embedded in a pictorial information system but perform similar functions. It is worth mentioning that some forms of query languages can be transformed from a given set of natural language senten ces by using ATN (Augmented Transition Networks), which consequently allows for na turallanguage communication with information system.
Automation of Reasoning
Author: J. Siekmann
Publisher: Springer Science & Business Media
ISBN: 3642819559
Category : Computers
Languages : en
Pages : 641
Book Description
"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has corne to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Publisher: Springer Science & Business Media
ISBN: 3642819559
Category : Computers
Languages : en
Pages : 641
Book Description
"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has corne to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Data Networks with Satellites
Author: J. Majus
Publisher: Springer Science & Business Media
ISBN: 3642690300
Category : Computers
Languages : en
Pages : 259
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642690300
Category : Computers
Languages : en
Pages : 259
Book Description
National Library of Medicine Current Catalog
Author: National Library of Medicine (U.S.)
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 762
Book Description
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 762
Book Description