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.
Author(s): Filippo Neri, Lorenza Saitta (auth.), Maurizio Lenzerini (eds.)
Series: Lecture Notes in Computer Science 1321 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 468
Tags: Artificial Intelligence (incl. Robotics)
Modelling conceptual change: An interdisciplinary approach....Pages 1-12
Refining numerical terms in horn clauses....Pages 13-23
Handling continuous data in top-down induction of first-order rules....Pages 24-35
Inductive inference of tree automata by recursive neural networks....Pages 36-47
A computational model of misunderstandings in Agent Communication....Pages 48-59
Wide-Coverage lexicalized grammars....Pages 60-71
Flexible response choice using problem-solving plans and rhetorical relations....Pages 72-83
A variant of Earley parsing....Pages 84-95
Autonomous robot navigation using a reactive agent....Pages 96-105
A hybrid architecture for autonomous agents....Pages 106-115
3-D Facets construction for stereovision....Pages 116-126
Extraction of discriminant features from image fractal encoding....Pages 127-138
Learning relational concepts at different levels of granularity....Pages 139-146
Inferring minimal rule covers from relations....Pages 147-158
Corpus-driven unsupervised learning of verb subcategorization frames....Pages 159-170
Learning the syntax and semantic rules of an ECG grammar....Pages 171-182
Introducing abduction into (Extensional) inductive logic programming systems....Pages 183-194
An efficient algorithm for temporal abduction....Pages 195-206
Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae....Pages 207-218
A proof theory for tractable approximations of propositional reasoning....Pages 219-230
Embedding minimal knowledge into autoepistemic logic....Pages 231-241
User model-based information filtering....Pages 242-253
A comparative analysis of Horn models and Bayesian Networks for diagnosis....Pages 254-265
Multi-agent negotiation and planning through knowledge contextualization....Pages 266-277
From task delegation to role delegation....Pages 278-289
Automated reasoning on-board autonomous spacecraft....Pages 290-301
A weakly backjumping strategy to solve hard scheduling problems....Pages 302-310
Compiling task networks into partial order planning domains....Pages 311-321
A hybrid approach to hypertext generation....Pages 322-333
Generating user-adapted hypermedia from discourse plans....Pages 334-345
WordNet for Italian and its use for lexical discrimination....Pages 346-356
Efficient support for reactive rules in prolog....Pages 357-368
Reasoning with behavioural knowledge in application domain models....Pages 369-380
How to solve qualification and ramification using Dijkstra's semantics for programming languages....Pages 381-392
Towards a qualitative Representation of Linguistic Negation of Nuanced Properties....Pages 393-404
CBET: A Case Base Exploration Tool....Pages 405-416
Learning feature weights for CBR: Global versus local....Pages 417-426
CompAss: A system for plans of study compilation....Pages 427-430
A prototypal system for data-validation....Pages 431-434
ODB-Tools: A description logics based tool for schema validation and semantic query optimization in object oriented databases....Pages 435-438
Processing paper documents with WISDOM....Pages 439-442
REGAL3.2: FOL concept learning by cooperative genetic algorithms....Pages 443-446
IDL: A prototypical intelligent digital library service....Pages 447-450
An object-oriented architecture for the DRS scheduling problem....Pages 451-454
MASMA: A personal assistant for meetings management....Pages 455-458
