Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23 - 25, 1996; Proceedings [Paperback]

This book constitutes the refereed proceedings of the 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, held in Curitiba, Brazil, in October 1996.
The 21 revised full papers presented were carefully selected from a total of 66 submissions; also included are one-page abstracts of invited talks and poster presentations. Besides a strong Brazilian component, the majority of contributing authors are well-known researchers from abroad. The papers are organized in topical sections on nonmonotonic reasoning, planning, learning and heuristic search, distributed AI and multi-agent systems, genetic algorithms, natural language processing, vision and AI applications, and logic programming.An argumentation based framework for defeasible and qualitative reasoning.- Well-behaved IDL theories.- Epistemic conditional logics.- A Hybrid Formal Theory of plan recognition and its implementation.- Algorithms ? for ?-standard state graphs: Results about termination and admissibility.- Regression by classification.- A generic model of cognitive agent to develop open systems.- Coordination among individually-motivated agents: An evolutionary approach.- Adaptive Hierarchical Censored Production Rule-based system: A genetic algorithm approach.- Finding optimal representations using the crossover correlation coefficient.- An evolutionary algorithm for resource-constrained project scheduling and multiple execution modes.- Evaluating the robustness and scalability of revision-based natural language generation.- Semi-automatic anaphora resolution in portable natural language interfaces.- A discourse model for gist preservation.- Iterative curve organisation with the EM algorithm.- Model-Based pose proposal for 2-D object recognition.- TARCA  An integrated system for diagnosis and treatment of cardiac arrhythmias.- Intelligent Distributed Environmental Decision Support System.- Object-oriented algorithm for combining dichotomic belief functions.- Automatic bottom-up analysils