Trends in Artificial Intelligence (Record no. 35082)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 06155nam a22005055i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540464433 |
-- | 978-3-540-46443-3 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.3 |
245 10 - TITLE STATEMENT | |
Title | Trends in Artificial Intelligence |
Sub Title | 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA Palermo, Italy, October, 29–31, 1991 Proceedings / |
Statement of responsibility, etc | edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1991. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XIV, 486 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Knowledge-based media coordination in intelligent user interfaces -- Some notes on cumulative reasoning -- A family of three-valued autoepistemic logics -- Viewpoints subsume beliefs, truth and situations -- Automating meta-theory creation and system extension -- Implementing exceptions in inheritance by concept transforming actions -- Approximate entailment -- Negation as failure and constraints through abduction and defaults -- A hybrid system with datalog and concept languages -- Optimal search for conjunctive goals using constraints -- FSS-WASTL interactive knowledge acquisition for a semantic lexicon -- Hybrid encoding: Constraints on addressing structure -- Uncertainty and cyclic dependencies a proposal and a network implementation -- Abductive reasoning in a multi-theory framework -- The abstract interpretation of hybrid rule/frame-based systems -- Taxonomic reasoning in configuration tasks -- Representation and use of teleological knowledge in the multi-modeling approach -- Towards the integration of different knowledge sources in model-based diagnosis -- Integrating statistics, numerical analysis and dependency-recording in model-based diagnosis -- Version-space induction with multiple concept languages -- Knowledge compilation to speed up numerical optimization -- New perspectives about default hierarchies formation in learning classifier systems -- Use of a causal model to learn diagnostic knowledge in a real domain -- Extending inverse resolution to build up abstractions -- Using word association for syntactic disambiguation -- A computational model of tense selection and its experimentation within an intelligent tutor -- An efficient context-free parsing algorithm with semantic actions -- From scopings to interpretation: The semantic interpretation within the AlFresco system -- Parsing dependency grammars -- A system based on neural architectures for the reconstruction of 3-D shapes from images -- Retrieval of high-level data structures from stereo vision data -- High-level and low-level computer Vision: Towards an integrated approach -- An associative link from geometric to symbolic representations in artificial vision -- A theory of sensor-based robot navigation using local information -- Insights into cooperative group design: Experience with the LAN designer system -- Direct interaction among active data structures: A tool for building AI systems -- Introducing knowledge representation techniques in database models -- Self-organizing maps: A new digital architecture -- Electrical equipment maintenance training: An its application in industrial environment -- Temporal and spatial data and default assumptions in DIPSY-E system -- Visual indexing with an attentive system -- On neural network programming -- A logic for the representation of spatial knowledge -- Truth maintenance in approximate reasoning -- A strategy for design and development of complex knowledge-systems -- Efficient compilation of first order predicates -- A flexible tool for assumption-based user modeling -- KL: A neural model for capturing structure in speech -- Lexical discrimination within a multilevel semantics approach -- Metalevel representation of analogical inference -- Semantic interpretation of copulative sentences -- Typicality for plausible reasoning -- A distributed image-understanding system. |
520 ## - SUMMARY, ETC. | |
Summary, etc | This book collects the scientific papers presented at the 2nd Congress of the Italian Association for Artificial Intelligence, held in Palermo in October 1991. It displays the state of the art of both Italian and European scientific research in AI. The book begins with an invited paper by W. Wahlster et al. The bulk of the book is then divided into five parts on: - Knowledge representation (18 papers), - Knowledge acquisition (5 papers), - Natural language (5 papers), - Perception and robotics (5 papers), - Architecture and technologies (5 papers). A section containing short papers completes the book. The high quality of the papers reflects massive research activity mainly devoted to the theoretical aspects of AI, but clearly aimed at consolidating the results already achieved. Several contributions are oriented to the technological aspects of AI. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial Intelligence (incl. Robotics). |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Ardizzone, Edoardo. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Gaglio, Salvatore. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Sorbello, Filippo. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-54712-6 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1991. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK5788 | http://dx.doi.org/10.1007/3-540-54712-6 | E-BOOKS |