| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997
|
| Descrizione fisica |
1 online resource (XIV, 402 p.)
|
| Disciplina |
006.3/3
|
| Collana |
Lecture Notes in Artificial Intelligence
|
| Soggetto topico |
Artificial intelligence
Artificial Intelligence
|
| ISBN |
3-540-69605-9
|
| Formato |
Materiale a stampa  |
| Livello bibliografico |
Monografia |
| Lingua di pubblicazione |
eng
|
| Nota di contenuto |
Flexible proof-replay with heuristics -- Flexible re-enactment of proofs -- Inference rights for controlling search in generating theorem provers -- A retrieval method for exploration of a case memory -- Incremental concept evolution based on adaptive feature weighting -- A 0–1 quadratic knapsack problem for modelizing and solving the constraint satisfaction problems -- An algorithm for solving systems of linear diophantine equations in naturals -- GenSAT: A navigational approach -- Timetabling using demand profiles -- Intelligent VR training -- Training strategies and knowledge acquisition: Using the same reflective tools for different purposes -- About the intended meaning of a linguistic negation -- Integration of inheritance in SNePS -- Measures of uncertainty and independence concept in different calculi -- A Multi-agent approach to first-order logic -- Modelling dynamic aspects of intentions -- Multi-agent negotiation algorithms for resources cost estimation: A case study -- Parla: A cooperation language for cognitive multi-agent systems -- Vivid agents arguing about distributed extended logic programs -- Approximate reasoning -- New results about sub-admissibility for general families of heuristic search algorithms -- Fixed point classification method for qualitative simulation -- Contextual logic of change and the ramification problem -- Temporal reasoning about actor programs -- A CLP model to the job sequencing problem -- A new approach for extracting rules from a trained neural network -- Bayesian networks, rule induction and logistic regression in the prediction of women survival suffering from breast cancer -- Controlling for unexpected goals when planning in a mixed-initiative setting -- Cooperative memory structures and commonsense knowledge for planning -- Diagonalization and type rewriting in clam -- Granularity for explanation -- Object model of intelligent tutoring shell -- Resource allocation on agent meta-societies -- Diagnostic information at your fingertips! -- Reasoning about actions with abductive logic programming -- Dimensions of embodiments: Possible futures for cognitive science (Abstract) -- Machine learning meets natural language (Abstract).
|
| Record Nr. | UNINA-9910768184903321 |
Info
Progress in Artificial Intelligence [[electronic resource] ] : 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / / edited by Ernesto Costa, Amilcar Cardoso
