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...
| Other Authors: | |
|---|---|
| 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 |
Table of Contents:
- 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
- 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
- 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