000 06155nam a22005055i 4500
001 978-3-540-46443-3
003 DE-He213
005 20160624102014.0
007 cr nn 008mamaa
008 121227s1991 gw | s |||| 0|eng d
020 _a9783540464433
_9978-3-540-46443-3
024 7 _a10.1007/3-540-54712-6
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aTrends in Artificial Intelligence
_h[electronic resource] :
_b2nd Congress of the Italian Association for Artificial Intelligence, AI*IA Palermo, Italy, October, 29–31, 1991 Proceedings /
_cedited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1991.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1991.
300 _aXIV, 486 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v549
505 0 _aKnowledge-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 _aThis 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 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aArdizzone, Edoardo.
_eeditor.
700 1 _aGaglio, Salvatore.
_eeditor.
700 1 _aSorbello, Filippo.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540547129
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v549
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-54712-6
942 _2EBK5788
_cEBK
999 _c35082
_d35082