AI*IA 97: Advances in Artificial Intelligence 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings

This book constitutes the refereed proceedings of the 5th Congress of the Italian Association for Artificial Intelligence, AI*IA 97, held in Rome, Italy, in September 1997. The 37 revised full papers and 8 system descriptions presented in the volume were selected from 88 papers submitted. The papers...

Full description

Bibliographic Details
Other Authors: Lenzerini, Maurizio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1997, 1997
Edition:1st ed. 1997
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 04331nmm a2200301 u 4500
001 EB000659621
003 EBX01000000000000000512703
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540696018 
100 1 |a Lenzerini, Maurizio  |e [editor] 
245 0 0 |a AI*IA 97: Advances in Artificial Intelligence  |h Elektronische Ressource  |b 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings  |c edited by Maurizio Lenzerini 
250 |a 1st ed. 1997 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1997, 1997 
300 |a XII, 468 p  |b online resource 
505 0 |a Introducing abduction into (Extensional) inductive logic programming systems -- An efficient algorithm for temporal abduction -- Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae -- A proof theory for tractable approximations of propositional reasoning -- Embedding minimal knowledge into autoepistemic logic -- User model-based information filtering -- A comparative analysis of Horn models and Bayesian Networks for diagnosis -- Multi-agent negotiation and planning through knowledge contextualization -- From task delegation to role delegation -- Automated reasoning on-board autonomous spacecraft -- A weakly backjumping strategy to solve hard scheduling problems -- Compiling task networks into partial order planning domains -- A hybrid approach to hypertext generation -- Generating user-adapted hypermedia from discourse plans -- WordNet for Italian and itsuse for lexical discrimination -- Efficient support for reactive rules in prolog --  
505 0 |a Modelling conceptual change: An interdisciplinary approach -- Refining numerical terms in horn clauses -- Handling continuous data in top-down induction of first-order rules -- Inductive inference of tree automata by recursive neural networks -- A computational model of misunderstandings in Agent Communication -- Wide-Coverage lexicalized grammars -- Flexible response choice using problem-solving plans and rhetorical relations -- A variant of Earley parsing -- Autonomous robot navigation using a reactive agent -- A hybrid architecture for autonomous agents -- 3-D Facets construction for stereovision -- Extraction of discriminant features from image fractal encoding -- Learning relational concepts at different levels of granularity -- Inferring minimal rule covers from relations -- Corpus-driven unsupervised learning of verb subcategorization frames -- Learning the syntax and semantic rules of an ECG grammar --  
505 0 |a Reasoning with behavioural knowledge in application domain models -- How to solve qualification and ramification using Dijkstra's semantics for programming languages -- Towards a qualitative Representation of Linguistic Negation of Nuanced Properties -- CBET: A Case Base Exploration Tool -- Learning feature weights for CBR: Global versus local -- CompAss: A system for plans of study compilation -- A prototypal system for data-validation -- ODB-Tools: A description logics based tool for schema validation and semantic query optimization in object oriented databases -- Processing paper documents with WISDOM -- REGAL3.2: FOL concept learning by cooperative genetic algorithms -- IDL: A prototypical intelligent digital library service -- An object-oriented architecture for the DRS scheduling problem -- MASMA: A personal assistant for meetings management 
653 |a Artificial Intelligence 
653 |a Artificial intelligence 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/3-540-63576-9 
856 4 0 |u https://doi.org/10.1007/3-540-63576-9?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a This book constitutes the refereed proceedings of the 5th Congress of the Italian Association for Artificial Intelligence, AI*IA 97, held in Rome, Italy, in September 1997. The 37 revised full papers and 8 system descriptions presented in the volume were selected from 88 papers submitted. The papers are organized in topical sections on machine learning; natural language processing; perception, vision and robotics; distributed artificial intelligence; and planning