Progress in Artificial Intelligence: 8th Portuguese Conference on Artificial Intelligence, EPIA-97 Coimbra, Portugal, October 6–9, 1997 Proceedings

Flexible proof-replay with heuristics....Pages 1-12
Flexible re-enactment of proofs....Pages 13-24
Inference rights for controlling search in generating theorem provers....Pages 25-36
A retrieval method for exploration of a case memory....Pages 37-48
Incremental concept evolution based on adaptive feature weighting....Pages 49-60
A 0–1 quadratic knapsack problem for modelizing and solving the constraint satisfaction problems....Pages 61-72
An algorithm for solving systems of linear diophantine equations in naturals....Pages 73-84
GenSAT: A navigational approach....Pages 85-96
Timetabling using demand profiles....Pages 97-110
Intelligent VR training....Pages 111-118
Training strategies and knowledge acquisition: Using the same reflective tools for different purposes....Pages 119-129
About the intended meaning of a linguistic negation....Pages 131-142
Integration of inheritance in SNePS....Pages 143-154
Measures of uncertainty and independence concept in different calculi....Pages 155-166
A Multi-agent approach to first-order logic....Pages 167-178
Modelling dynamic aspects of intentions....Pages 179-194
Multi-agent negotiation algorithms for resources cost estimation: A case study....Pages 195-206
Parla: A cooperation language for cognitive multi-agent systems....Pages 207-215
Vivid agents arguing about distributed extended logic programs....Pages 217-228
Approximate reasoning....Pages 229-240
New results about sub-admissibility for general families of heuristic search algorithms....Pages 241-254
Fixed point classification method for qualitative simulation....Pages 255-266
Contextual logic of change and the ramification problem....Pages 267-278
Temporal reasoning about actor programs....Pages 279-290
A CLP model to the job sequencing problem....Pages 291-296
A new approach for extracting rules from a trained neural network....Pages 297-302
Bayesian networks, rule induction and logistic regression in the prediction of women survival suffering from breast cancer....Pages 303-308
Controlling for unexpected goals when planning in a mixed-initiative setting....Pages 309-318
Cooperative memory structures and commonsense knowledge for planning....Pages 319-324
Diagonalization and type rewriting in clam....Pages 325-330
Granularity for explanation....Pages 331-336
Object model of intelligent tutoring shell....Pages 337-342
Resource allocation on agent meta-societies....Pages 343-348
Diagnostic information at your fingertips!....Pages 349-360
Reasoning about actions with abductive logic programming....Pages 361-388
Dimensions of embodiments: Possible futures for cognitive science (Abstract)....Pages 389-389
Machine learning meets natural language (Abstract)....Pages 391-391