Progress in Artificial Intelligence

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).