Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23–25, 1996 Proceedings

An argumentation based framework for defeasible and qualitative reasoning....Pages 1-10
Well-behaved IDL theories....Pages 11-20
Epistemic conditional logics....Pages 21-30
A Hybrid Formal Theory of plan recognition and its implementation....Pages 31-40
Algorithms ϱ for ℒ-standard state graphs: Results about termination and admissibility....Pages 41-50
Regression by classification....Pages 51-60
A generic model of cognitive agent to develop open systems....Pages 61-70
Coordination among individually-motivated agents: An evolutionary approach....Pages 71-80
Adaptive Hierarchical Censored Production Rule-based system: A genetic algorithm approach....Pages 81-90
Finding optimal representations using the crossover correlation coefficient....Pages 91-100
An evolutionary algorithm for resource-constrained project scheduling and multiple execution modes....Pages 101-110
Evaluating the robustness and scalability of revision-based natural language generation....Pages 111-120
Semi-automatic anaphora resolution in portable natural language interfaces....Pages 121-130
A discourse model for gist preservation....Pages 131-140
Iterative curve organisation with the EM algorithm....Pages 141-150
Model-Based pose proposal for 2-D object recognition....Pages 151-160
TARCA — An integrated system for diagnosis and treatment of cardiac arrhythmias....Pages 161-170
Intelligent Distributed Environmental Decision Support System....Pages 171-180
Object-oriented algorithm for combining dichotomic belief functions....Pages 181-190
Automatic bottom-up analysis and transformation of logic programs....Pages 191-200
A temporal extension to the Parsimonious Covering Theory....Pages 201-210
Biological inspirations in neural network implementations of Autonomous Agents....Pages 211-220
Intelligent Tutoring Systems modelled through the mental states....Pages 221-230
Fundamentals of fuzzy logic and its hardware implementation....Pages 231-231
Status & challenges for coordination technology: An AI perspective....Pages 232-232
Combining natural language understanding and information retrieval for flexible hypertext navigation....Pages 233-233
Numerical models for the treatment of imperfect information in knowledge-based systems....Pages 234-234
Intelligent Tutoring Systems: Functional approach x agents approach....Pages 235-235
The case-based reasoning paradigm: perspective, technology and impacts....Pages 236-236
Qualitative models for interactive articulated learning environments....Pages 237-237
H-computation....Pages 238-238
Is computer vision still AI?....Pages 239-239
Fuzzy robotics and fuzzy image understanding....Pages 240-240
Toward a theory of molecular computing....Pages 241-241