
ALPUK91 by Geraint A Wiggins
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.-
Database Programming Languages (DBPL-4)
-
Designing Correct Circuits
-
Object Orientation in Z
-
Building Interactive Systems
-
Logic Program Synthesis and Transformation
-
AI and Cognitive Science ’91
-
Specifications of Database Systems
-
Software Re-use, Utrecht 1989
-
Women into Computing
-
Z User Workshop, Cambridge 1994
-
7th UK Computer and Telecommunications Performance Engineering Workshop
-
Deontic Logic, Agency and Normative Systems
-
Active and Real-Time Database Systems (ARTDB-95)
-
Hypermedia Design
-
Advances in Databases and Information Systems
-
4th Refinement Workshop
-
AI and Cognitive Science ’90
-
Music Education: An Artificial Intelligence Approach
-
Code Generation — Concepts, Tools, Techniques
-
Modelling Database Dynamics
-
Semantics for Concurrency
-
Z User Workshop, Oxford 1990
-
Theory and Formal Methods 1993
-
5th Refinement Workshop
-
Z User Workshop, London 1992
-
Functional Programming, Glasgow 1990
-
Declarative Programming, Sasbachwalden 1991
-
Neural Computation and Psychology
-
Specification and Verification of Concurrent Systems
-
Formal Methods for Trustworthy Computer Systems (FM89)
-
First International Workshop on Larch
-
Functional Programming, Glasgow 1994
-
Interfaces to Database Systems (IDS92)
-
Security and Persistence
-
Formal Aspects of Measurement
-
Z User Workshop
-
Formal Methods in Databases and Software Engineering
-
Functional Programming, Glasgow 1991
-
Persistent Object Systems
-
NAPAW 92
-
Incompleteness and Uncertainty in Information Systems
-
Z User Workshop, York 1991
-
AI and Cognitive Science ’89
-
IV Higher Order Workshop, Banff 1990
-
AI and Cognitive Science ’92
-
Rules in Database Systems
Irène Deliège obtained her qualifications at the Royal Conservatory of Brussels. After a twenty-year career as a music teacher, she retrained in psychology and obtained her PhD in 1991 from the University of Liege. A founding member of ESCOM, she has acted since its inception as permanent secretary and Editor of its journal, Musicae Scientiae. She is the author of several articles and co-edited books dedicated to music perception.
Geraint Wiggins studied at Corpus Christi College, Cambridge and at Edinburgh's Artificial Intelligence and Music Departments. He is Professor of Computational Creativity in the Department of Computing at Goldsmiths' College, University of London, where he leads the Intelligent Sound and Music Systems (ISMS) group. He is a past chair of SSAISB, the UK learned society for AI and Cognitive Science, whose journal he co-edits, and is also an Associate Editor of Musicae Scientiae, the journal of ESCOM.
| SKU | Unavailable |
| ISBN 13 | 9783540197348 |
| ISBN 10 | 3540197346 |
| Title | ALPUK91 |
| Author | Geraint A Wiggins |
| Series | Workshops In Computing |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1992-01-08 |
| Number of pages | 219 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |













































