8. EPIA 1997: Coimbra, Portugal

@proceedings{DBLP:conf/epia/1997,
  editor    = {Ernesto Costa and
               Am\'{\i}lcar Cardoso},
  title     = {Progress in Artificial Intelligence, 8th Portuguese Conference
               on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October
               6-9, 1997, Proceedings},
  booktitle = {EPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1323},
  year      = {1997},
  isbn      = {3-540-63586-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Automated Reasoning and Theorem Proving

• Marc Fuchs: Flexible Proof-Replay with Heuristics. 1-12
• Matthias Fuchs: Flexible Re-enactment of Proofs. 13-24
• Dirk Fuchs: Inference Rights for Controlling Search in Generating Theorem Provers. 25-36

Case Based Reasoning and Machine Learning

• Paulo Gomes, Carlos Bento: A Retrieval Method for Exploration of a Case Memory. 37-48
• Udo Hahn, Manfred Klenner: Incremental Concept Evolution Based on Adaptive Feature Weighting. 49-60

Constraints

• Mohamed Ettaouil: A 0-1 Quadratic Knapsack Problem for Modelizing and Solving the Constaint Satisfaction Problems. 61-72
• Ana Paula Tomás, Miguel Filgueiras: An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals. 73-84
• Yury V. Smirnov, Manuela M. Veloso: GenSAT: A Navigational Approach. 85-96
• Pedro Soares, Nuno J. Mamede: Timetabling Using Demand Profiles. 97-110

Intelligent Tutoring Systems and Training

• Ruqian Lu, Han Ke, Ma Yinghao, Zhang Weyan, Wang Wenbiao: Intelligent VR Training. 111-118
• Christophe Choquet, Pierre Tchounikine, Francky Trichet: Training Strategies and Knowledge Acquisition: Using the same Reflective Tools for Different Purposes. 119-130

Knowledge Representation

• Daniel Pcholczyk: About the Intended Meaning of a Linguistic Negation. 131-142
• Helena Sofia Andrade N. P. Pinto: Integration of Inheritance in SNePS. 143-154
• Jirina Vejnarová: Measures of Uncertainty and Independence Concept in Different Calculi. 155-166

Multi-Agent Systems and Distributed Artificial Intelligence

• Guilherme Bittencourt, Isabel Tonin: A Multi-Agent Approach to First-Order Logic. 167-178
• Michael da Costa Móra, José Gabriel Pereira Lopes, Helder Coelho, Rosa Maria Vicari: Modelling Dynamic Aspects of Intentions. 179-194
• José Manuel Fonseca, Eugenio Oliveira, Adolfo Steiger-Garção: Multi-Agent Negotiation Algorithms for Resources Cost Estimation: A Case Study. 195-206
• Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt: Parla: A Cooperation Language for Cognitive Multi-Agent Systems. 207-216
• Michael Schroeder, Iara de Almeida Móra, José Júlio Alferes: Vivid Agents Arguing about Distributed Extended Logic Programs. 217-228

Non-Monotonic Reasoning

• Helmut Prendinger: Approximate Reasoning. 229-240

Problem Solving

• Henri Farreny: New Results About Sub-Admissibility for General Families on Heuristic Search Algorithms. 241-254

Qualitative Reasoning

• Martin Takác: Fixed Point Classification Method for Qualitative Simulation. 255-266

Temporal Reasoning

• Pedro A. de Matos, João P. Martins: Contextual Logic of Change and the Ramification Problem. 267-278
• Susanne Schacht, Udo Hahn: Temporal Reasoning about Actor Systems. 279-290

Posters (extended abstracts)

• Nuno Filipe da Fonseca Bastos Gomes: A CLP Model to the Job Sequencing Problem. 291-296
• Arnulfo Castellanos, Juan Castellanos, Daniel Manrique, A. Martínez: A New Approach for Extracting Rules from a Trained Neural Network. 297-302
• Pedro Larrañaga, Miren J. Gallego, Basilio Sierra, L. Urkola, Maria J. Michelena: Bayesian Networks, Rule Induction and Logistic Regression in the Prediction of the Survival of Women Suffering from Breast Cancer. 303-308
• Michael T. Cox, Manuela M. Veloso: Controlling for Unexpected Goals when Planning in a Mixed-Initiative Setting. 309-318
• P. V. S. R. Bhanu Prasad, Deepak Khemani: Cooperative Memory Structures and Commonsense Knowledge for Planning. 319-324
• Jerônimo Pellegrini, Jacques Wainer: Diagonalization and Type Rewriting in Clam. 325-330
• Sanjay Poria, Roberto Garigliano: Granularity for Explanation. 331-336
• Ljubomir Jerinic, Vladan Devedzic, Marijana Lomic, Danijela Radovic: Object Model of Intelligent Tutoring Shell. 337-342
• Alcino Cunha, Orlando Belo: Resource Allocation on Agent Meta-Societies. 343-348

Invited Talks

• Oskar Dressler: Diagnostic Information at Your Fingertips! 349-360
• Luís Moniz Pereira, Renwei Li: Reasoning about Actions with Abductive Logic Programming. 361-388
• Francisco J. Varela: Dimensions of Embodiments: Possible Futures for Cognitive Science. 389
• Tom M. Mitchell: Machine Learning Meets Natural Language. 391