


Paperback
Published: 3rd September 1997
ISBN: 9783540635765
Number Of Pages: 468
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.
Modeling Conceptual Change: An Interdisciplinary Approach | p. 1 |
Refining Numerical Terms in Horn Clauses | p. 13 |
Handling Continuous Data in Top-Down Induction of First-Order Rules | p. 24 |
Inductive Inference of Tree Automata by Recursive Neural Networks | p. 36 |
A Computational Model of Misunderstandings in Agent Communication | p. 48 |
Wide-Coverage Lexicalized Grammars | p. 60 |
Flexible Response Choice Using Problem-Solving Plans and Rhetorical Relations | p. 72 |
A Variant of Earley Parsing | p. 84 |
Autonomous Robot Navigation Using a Reactive Agent | p. 96 |
A Hybrid Architecture for Autonomous Agents | p. 106 |
3-D Facets Construction for Stereovision | p. 116 |
Extraction of Discriminant Features from Image Fractal Encoding | p. 127 |
Learning Relational Concepts at Different Levels of Granularity | p. 139 |
Inferring Minimal Rule Covers from Relations | p. 147 |
Corpus-Driven Unsupervised Learning of Verb Subcategorization Frames | p. 159 |
Learning the Syntax and Semantic Rules of an ECG Grammar | p. 171 |
Introducing Abduction into (Extensional) Inductive Logic Programming Systems | p. 183 |
An Efficient Algorithm for Temporal Abduction | p. 195 |
Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae | p. 207 |
A Proof Theory for Tractable Approximations of Propositional Reasoning | p. 219 |
Embedding Minimal Knowledge into Autoepistemic Logic | p. 231 |
User Model-Based Information Filtering | p. 242 |
A Comparative Analysis of Horn Models and Bayesian Networks for Diagnosis | p. 254 |
Multi-agent Negotiation and Planning Through Knowledge Contextualization | p. 266 |
From Task Delegation to Role Delegation | p. 278 |
Automated Reasoning On-Board Autonomous Spacecrafts | p. 290 |
A Weakly Backjumping Strategy to Solve Hard Scheduling Problems | p. 302 |
Compiling Task Networks into Partial Order Planning Domains | p. 311 |
A Hybrid Approach to Hypertext Generation | p. 322 |
Generating User-Adapted Hypermedia from Discourse Plans | p. 334 |
WordNet for Italian and Its Use for Lexical Discrimination | p. 346 |
Efficient Support for Reactive Rules in Prolog | p. 357 |
Reasoning with Behavioural Knowledge in Application Domain Models | p. 369 |
How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages | p. 381 |
Towards a Qualitative Representation of Linguistic Negation of Nuanced Properties | p. 393 |
CBET: A Case Base Exploration Tool | p. 405 |
Learning Feature Weights for CBR: Global versus Local | p. 417 |
CompAss: a System for Plans of Study Compilation | p. 427 |
A Prototypal System for Data-Validation | p. 431 |
ODB-Tools: a Description Logics Based Tool for Schema Validation and Semantic Query Optimization in Object Oriented Databases | p. 435 |
Processing Paper Documents with WISDOM | p. 439 |
REGAL3.2: FOL Concept Learning by Cooperative Genetic Algorithms | p. 443 |
IDL: A Prototypical Intelligent Digital Library Service | p. 447 |
An Object-Oriented Architecture for the DRS Scheduling Problem | p. 451 |
MASMA: A Personal Assistant for Meetings Management | p. 455 |
Author Index | p. 459 |
Table of Contents provided by Blackwell. All Rights Reserved. |
ISBN: 9783540635765
ISBN-10: 3540635769
Series: Lecture Notes in Computer Science,
Audience:
General
Format:
Paperback
Language:
English
Number Of Pages: 468
Published: 3rd September 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6
x 2.46
Weight (kg): 0.67