+612 9045 4394
Learn moreThis 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
