Download or read book Scandinavian Conference on Artificial Intelligence 91 written by Brian Mayoh and published by IOS Press. This book was released on 1991 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scandinavian conference on artificial intelligence 91 written by and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scandinavian Conference on Artificial Intelligence 93 written by Erik Sandewall and published by IOS Press. This book was released on 1993 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Nordic countries are traditionally strong in the application of new computer technology. This work represents the state of the art in some of the artificial intelligence areas currently subject to active R&D. International researchers present 24 papers in the following areas: automated reasoning; qualitative reasoning; machine learning; neural networks; and knowledge-based systems. Both basic and applied AI research are represented.
Download or read book Thirteenth Scandinavian Conference on Artificial Intelligence written by S. Nowaczyk and published by IOS Press. This book was released on 2015-11-06 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial intelligence (AI) has featured widely in the news recently. It is vital to the continued development of computer science and informatics, and is indispensable for the effective functioning of a multitude of systems in fields such as medicine, economics, linguistics, philosophy, psychology and logical analysis, as well as industry. This book presents the proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015), held in Halmstad, Sweden, in November 2015. SCAI is the main biennial conference for the AI research communities of Scandinavia, but also attracts the attendance of a wide range of international participants. The book features 17 accepted papers from the conference as well as extended abstracts describing the work of six Ph.D. students who presented their research-in-progress to a panel of experts in the doctoral symposium which forms part of the conference. A wide range of topics are covered, including machine learning, data mining, logical reasoning, robotics and planning, and the papers included here focus on both the theory and practical applications of AI. The book will be of interest to all those wishing to keep abreast of the latest developments in the field of AI.
Download or read book Clinical Management of Herpes Viruses written by Stephen L. Sacks and published by IOS Press. This book was released on 1995 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: Much has been said about managing herpesvirus infections since the discovery of acyclovir more than 15 years ago. This book aims to bring practical advice to the key clinician who is faced with managing these infections. It addresses questions like: there are antiviral treatments for many of these infections, but who should be getting these drugs and who should not? What are the advantages, if any, of the new drugs over the old ones? Which patients should be targeted for intervention? What is the clinical reality of antiviral resistance? Where do the up and coming vaccines fit into the picture? When should therapy be discontinued or reassessed? How are patients presenting other than chorioretinitis in AIDS or pneumonitis in transplantation? The contributing clinician scientists deal with these questions and many more. Listed by Biological Abstracts/RRM, BIOSIS, volume 48, issue 8, August 1995 Covered by Current Contents, Life Sciences (ISI), volume 39, no. 2, Januari 1996, p. 12
Download or read book Artificial Intelligence in Education written by Ben Du Boulay and published by IOS Press. This book was released on 1997 with total page 706 pages. Available in PDF, EPUB and Kindle. Book excerpt: The theme of this book is Knowledge and Media in Learning Systems, and papers that explore the emerging roles of intelligent multimedia and distributed technologies as well as computer supported collaboration within that theme are included. The spread of topics is very wide encompassing both well- established areas such as student modelling as well as more novel topics such as distributed intelligent tutoring on the World Wide Web. Far from undermining the need to understand how learning and teaching interact, the newer media continue to emphasise the interdependence of these two processes. Collaboration and tools for collaboration are the major topics of interest. Understanding how human learners collaborate, how peer tutoring works and how the computer can play a useful role as either a more able of even a less able learning partner are all explored here.
Download or read book Categorical Modelling in Law written by J. Karpf and published by . This book was released on 1991 with total page 11 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Advances in Intelligent Systems written by Francesco Carlo Morabito and published by IOS Press. This book was released on 1997 with total page 566 pages. Available in PDF, EPUB and Kindle. Book excerpt: Intelligent Systems can be defined as systems whose design, mainly based on computational techniques, is supported, in some parts, by operations and processing skills inspired by human reasoning and behaviour. Intelligent Systems must typically operate in a scenario in which non-linearities are the rule and not as a disturbing effect to be corrected. Finally, Intelligent Systems also have to incorporate advanced sensory technology in order to simplify man-machine interactions. Several algorithms are currently the ordinary tools of Intelligent Systems. This book contains a selection of contributions regarding Intelligent Systems by experts in diverse fields. Topics discussed in the book are: Applications of Intelligent Systems in Modelling and Prediction of Environmental Changes, Cellular Neural Networks for NonLinear Filtering, NNs for Signal Processing, Image Processing, Transportation Intelligent Systems, Intelligent Techniques in Power Electronics, Applications in Medicine and Surgery, Hardware Implementation and Learning of NNs.
Download or read book SCAI 97 written by G. Grahne and published by IOS Press. This book was released on 1997 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt: The major theme of this book is Intelligent Agents. An agent is a hardware or software system that is autonomous, interactive with and reactive to its environment and other agents. An agent can also be pro-active in taking the initiative in goal-directed behaviour. Intelligent Agents are one of the most important and exciting areas of research and development in computer science today.
Download or read book Logics in AI written by David Pearce and published by Springer Science & Business Media. This book was released on 1992-08-19 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.
Download or read book New Directions in AI Planning written by Malik Ghallab and published by . This book was released on 1996 with total page 422 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Artificial Intelligence Applications to Traffic Engineering written by Maurizio Bielli and published by VSP. This book was released on 1994-05 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: In recent years the applications of advanced information technologies in the field of transportation have affected both road infrastructures and vehicle technologies. The development of advanced transport telematics systems and the implementation of a new generation of technological options in the transport environment have had a significant impact on improved traffic management, efficiency and safety. This volume contains contributions from scientific and academic centres which have been active in this field of research and provides an overview of applications of AI technology in the field of traffic control and management. The topics covered are: -- current status of AI in transport -- AI applications in traffic engineering -- in-vehicle AI
Download or read book Spatiotemporal Models in Biological and Artificial Systems written by Fernando L. Silva and published by IOS Press. This book was released on 1997 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: Spatiotemporal models are emerging as a very important topic in several disciplines, including neurobiology and artificial neural networks. Many hard problems exist in this area. Examples include understanding the capabilities of nonlinear dynamical systems on a lattice and of networks of spiking neurons (both natural and artificial), training such systems, implementing them in hardware, understanding biological signals like the EEG, etc. Besides the state-of-the-art in the area of spatiotemporal models, the book also covers the neurobiological, and the artificial systems communities.
Download or read book Prospects for Artificial Intelligence written by Aaron Sloman and published by IOS Press. This book was released on 1993-02-28 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dealing with the theme of prospects for artificial inteligence as the general science of intelligence, this work covers a wide range of topics. It attempts to identify trends and projects into the future, instead of simply surveying past achievements.
Download or read book Information Modelling and Knowledge Bases VIII written by H. Kangassalo and published by IOS Press. This book was released on 1997 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: Information modelling is the essential part of information systems design. Design methods, specification languages, and tools tend to become application dependent, aiming at integration of methodologies stretching from traditional database design to knowledge bases, and including use of logical languages, and process oriented reactive systems description. The topics of the articles cover a wide variety of problems in the area of information modelling, information systems specification, and knowledge bases, ranging from foundations and theories to systems construction and application studies. The contributions are grouped into the following major categories: - Systems specification and information modelling schemes - User interfaces and multimedia - Knowledge organization database structuring - Formal systems - Knowledge and information - From conceptual modelling to software engineering - Description and organization of concepts and objects - Learning systems and applications This book is the eighth volume in the sub-series 'Information Modelling and Knowledge Bases'. This dates back to 1990 with annual publications now amounting to more than 200 reviewed articles. The current volume is intended for researchers, students and practitioners in the area of information systems.
Download or read book Automated Reasoning with Analytic Tableaux and Related Methods written by Didier Galmiche and published by Springer Science & Business Media. This book was released on 1997-04-29 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.
Download or read book Formal Ontology in Information Systems written by Nicola Guarino and published by IOS Press. This book was released on 1998 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: Research on ontology is becoming increasingly widespread in the computer science community. While this term has been rather confined to the philosophical sphere in the past, it is now gaining a specific role in areas such as Artificial Intelligence, Computational Linguistics, and Databases. Its importance has been recognized in fields as diverse as knowledge engineering, knowledge representation, qualitative modeling, language engineering, database design, information integration, object-oriented analysis, information retrieval and extraction, knowledge management and organization, agent-based systems design. Current applications areas are disparate, including enterprise integration, natural language translation, medicine, mechanical engineering, electronic commerce, geographic information systems, legal information systems, and biological information systems. Various workshops addressing the engineering aspects of ontology have been held in the recent years. However, ontology by 'its very nature' ought to be a unifying discipline. Insights in this field have potential impact on the whole area of information systems (taking this term in its broadest sense), as testified by the interest recently shown by international standards organizations. In order to provide a solid general foundation for this work, it is therefore important to focus on the common scientific principles and open problems arising from current tools, methodologies, and applications of ontology.
