13. SBIA 1996: Curitiba, Brazil

@proceedings{DBLP:conf/sbia/1996,
  editor    = {D\'{\i}bio Leandro Borges and
               Celso A. A. Kaestner},
  title     = {Advances in Artificial Intelligence, 13th Brazilian Symposium
               on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October
               23-25, 1996, Proceedings},
  booktitle = {SBIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1159},
  year      = {1996},
  isbn      = {3-540-61859-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Nonmonotonic Reasoning

• Nikos I. Karacapilidis, Dimitris Papadias, Thomas F. Gordon: An Argumentation Based Framework for Defeasible and Qualitative Reasoning. 1-10 BibTeX
• Ana Teresa C. Martins, Marcelino Pequeno, Tarcisio H. C. Pequeno: Well-Behaved IDL Theories. 11-20 BibTeX
• Ana María Monteiro, Jacques Wainer: Epistemic Conditional Logics. 21-30 BibTeX

Planning, Learning and Heuristic Search

• José Helano Matos Nogueira, Antonio L. Furtado, José de Jesús Pérez Alcázar: A Hybrid Formal Theory of Plan Recognition and Its Implementation. 31-40 BibTeX
• Henri Farreny: Algorithms sigma for L-standard State Graphs: Results About Termination and Admissibility. 41-50 BibTeX
• Luís Torgo, João Gama: Regression by Classification. 51-60 BibTeX

Distributed AI and Multi-Agent Systems I

• Edson Emílio Scalabrin, L. Vandenberghe, Hilton de Azevedo, Jean-Paul A. Barthès: A Generic Model of Cognitive Agent to Develop Open Systems. 61-70 BibTeX
• Ana L. C. Bazzan: Coordination Among Individually-Motivated Agents: An Evolutionary Approach. 71-80 BibTeX

Genetic Algorithms

• Kamal Kant Bharadwaj, Nabil M. Hewahi, Maria Augusta Brandao: Adaptive Hierarchical Censored Production Rule-Based System: A Generic Algorithm Approach. 81-90 BibTeX
• Piet Spiessens, Bernard Manderick: Finding Optimal Representations Using the Crossover Correlation Coefficient. 91-100 BibTeX
• Oscar Ciro López, Ricardo Miranda Barcia, Osama Eyada, Fernando O. Gauthier: An Evolutionary Algorithm for Resource-Constrained Project Scheduling and Multiple Execution Modes. 101-110 BibTeX

Natural Language Processing

• Jacques Robin: Evaluating the Robstness and Scalability of Revision-Based Natural Language Generation. 111-120 BibTeX
• Flávia A. Barros: Semi-Automatic Anaphora Resolution in Portable Natural Language Interfaces. 121-130 BibTeX
• Lucia Helena Machado Rino, Donia Scott: A Discourse Model for Gist Preservation. 131-140 BibTeX

Vision and AI Applications

• José A. F. Leite, Edwin R. Hancock: Iterative Curve Organisation with the EM Algorithm. 141-150 BibTeX
• Hemant Tagare, Drew V. McDermott: Model-Based Pose Proposal for 2-D Object Recognition. 151-160 BibTeX
• António José Ferreira da Silva, Eugenio Oliveira: TARCA - An Integrated System for Diagnosis and Treatment of Cardiac Arrhythmias. 161-170 BibTeX
• Benedita Malheiro, Eugenio Oliveira: Intelligent Distributed Environmental Decision Support System. 171-180 BibTeX

Logic Programming, Temporal Reasoning and Belief Functions

• Wagner Teixeira da Silva, Pedro Antônio Dourado de Rezende: Object-Oriented Algorithm for Combining Dichotomic Belief Functions. 181-190 BibTeX
• Wamberto Weber Vasconcelos, Marcelo A. T. Aragão, Norbert E. Fuchs: Automatic Bottom-Up Analysis and Transformation of Logic Programs. 191-200 BibTeX
• Alexandre de Melo Rezende, Jacques Wainer: A Temporal Extension to the Parsimonious Covering Theory. 201-210 BibTeX

Distributed AI and Multi-Agent Systems II

• Mauro Roisenberg, Jorge Muniz Barreto, Fernando Mendes de Azevedo: Biological Inspirations in Neural Network Implementations of Autonomous Agents. 211-220 BibTeX
• Neila Maria Moussalle, Rosa Maria Vicari, Milton Corrêa: Intelligent Tutoring Systems Modelled Through the Mental States. 221-230 BibTeX

Abstracts of Tutorials and Invited Lectures

• Kaoru Hirota: Fundamentals of Fuzzy Logic and Its Hardware Implementation (Abstract). 231 BibTeX
• Mark Klein: Status & Challenges for Coordination Technology: An AI Perspective (Abstract). 232 BibTeX
• José Gabriel Pereira Lopes: Combining Natural Language Understanding and Information retrieval for Flexible Hypertext Navigation (Abstract). 233 BibTeX
• Sandra Sandri: Numerical Models for the Treatment of Imperfect Information in Knowledge-Based Systems (Abstract). 234 BibTeX
• Rosa Maria Vicari, Lúcia Maria Martins Giraffa: Intelligent Tutoring Systems: Functional Approach x Agents Approach (Abstract). 235 BibTeX
• Agnar Aamodt: The Case-Based Reasoning Paradigm: Perspective, technology and Impacts (Abstract). 236 BibTeX
• Bert Bredeweg: Qualitative Models for Interactive Articulated Learning Environments (Abstract). 237 BibTeX
• Newton C. A. da Costa, Francisco A. Doria: H-Computation (Abstract). 238 BibTeX
• Robert B. Fisher: Is Computer Vision Still AI? (Abstract). 239 BibTeX
• Kaoru Hirota: Fuzzy Robotics and Fuzzy Image Understanding (Abstract). 240 BibTeX
• Armando Freitas da Rocha: Toward a Theory of Molecular Computing (Abstract). 241 BibTeX