EPIA'89
Author : Joao P. Martins
Publisher : Springer Science & Business Media
Page : 424 pages
File Size : 12,8 MB
Release : 1989-09-06
Category : Computers
ISBN : 9783540516651
EPIA'91
Author : Pedro Barahona
Publisher : Springer Science & Business Media
Page : 308 pages
File Size : 15,37 MB
Release : 1991-09-23
Category : Computers
ISBN : 9783540545354
Book Description
The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers,and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.
Computer Aided Systems Theory - EUROCAST '89
Author : Franz Pichler
Publisher : Springer Science & Business Media
Page : 440 pages
File Size : 20,85 MB
Release : 1990-02-07
Category : Computers
ISBN : 9783540522157
Book Description
Nonlinear Evolution Equations and Dynamical Systems (NEEDS) provides a presentation of the state of the art. Except for a few review papers, the 40 contributions are intentially brief to give only the gist of the methods, proofs, etc. including references to the relevant litera- ture. This gives a handy overview of current research activities. Hence, the book should be equally useful to the senior resercher as well as the colleague just entering the field. Keypoints treated are: i) integrable systems in multidimensions and associated phenomenology ('dromions'); ii) criteria and tests of integrability (e.g., Painlevé test); iii) new developments related to the scattering transform; iv) algebraic approaches to integrable systems and Hamiltonian theory (e.g., connections with Young-Baxter equations and Kac-Moody algebras); v) new developments in mappings and cellular automata, vi) applications to general relativity, condensed matter physics, and oceanography.
Logic Programming '89
Author : Koichi Furukawa
Publisher : Springer Science & Business Media
Page : 200 pages
File Size : 19,37 MB
Release : 1991-04-24
Category : Computers
ISBN : 9783540539193
Book Description
This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation.
Meta-Level Control for Deductive Database Systems
Author : Helmut Schmidt
Publisher : Springer Science & Business Media
Page : 172 pages
File Size : 39,29 MB
Release : 1991
Category : Computers
ISBN : 9783540537540
Book Description
The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a deductive database system. To eliminate this deficiency, this monograph presents a so-called expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.
COLOG-88
Author : Per Martin-Löf
Publisher : Springer Science & Business Media
Page : 348 pages
File Size : 27,3 MB
Release : 1990-02-21
Category : Computers
ISBN : 9783540523352
Book Description
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Statistical and Scientific Database Management
Author : Zbigniew Michalewicz
Publisher : Springer Science & Business Media
Page : 268 pages
File Size : 45,76 MB
Release : 1990-03-07
Category : Computers
ISBN : 9783540523420
Book Description
The purpose of the Fifth International Conference on Statistical and Scientific Databases was to bring together database researchers, users, and system builders, to discuss the particular issues of interest and to propose new solutions to the problems of the area, both from the theoretical and from the application point of view. This proceedings volume contains three invited papers as well as the other 13 contributions. The papers cover a wide area of research: object oriented database systems, semantic modelling, deductive mathematical databases, security of statistical databases, implementational issues for scientific databases, temporal summary table management, graphical and visual interfaces, query optimization, distributed databases, and economic and geographical databases.
LOGLAN '88 - Report on the Programming Language
Author : Antoni Kreczmar
Publisher : Springer Science & Business Media
Page : 150 pages
File Size : 19,7 MB
Release : 1990-03-07
Category : Computers
ISBN : 9783540523253
Book Description
LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, but it does not get rid of traditional imperative programming: primitive types do not need to be objects; records, static arrays, subtypes and other similar type contructs are admitted. LOGLAN has non-traditional memory model which accepts programmed deallocation but avoids dangling reference. The LOGLAN semantic model provides multi-level inheritance, which properly cooperates with module nesting. Parallelism in LOGLAN has an object oriented nature. Processes are treated like objects of classes and communication between processes is provided by alien calls similar to remote calls.
Advances in Database Technology - EDBT '90
Author : Francois Bancilhon
Publisher : Springer Science & Business Media
Page : 466 pages
File Size : 24,56 MB
Release : 1990-02-21
Category : Computers
ISBN : 9783540522911
Book Description
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two panel sessions and 27 papers in this volume report on how the technology is currently extending. One broad area covered is extended database semantics, including data models and data types, databases and logic, complex objects, and expert system approaches to databases. The other area covered is raw architectures and increased database systems support, including novel transaction models, data distribution and replication, database administration, and access efficiency.
SIL - a Simulation Language
Author : Niels Houbak
Publisher : Springer Science & Business Media
Page : 204 pages
File Size : 21,94 MB
Release : 1990-04-25
Category : Computers
ISBN : 9783540524977
