12. SBIA 1995: Campinas, Brazil

@proceedings{DBLP:conf/sbia/1995,
  editor    = {Jacques Wainer and
               Ariadne Carvalho},
  title     = {Advances in Artificial Intelligence, 12th Brazilian Symposium
               on Artificial Intelligence, SBIA '95, Campinas, Brazil, October
               10-12, 1995, Proceedings},
  booktitle = {SBIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {991},
  year      = {1995},
  isbn      = {3-540-60436-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Gerhard Fischer: Rethinking and Reinventing Artificial Intelligence from the Perspective of Human-Centered Computational Artifacts. 1-11 BibTeX
• Cécile Paris: Automatic Documentation Generation: Including Examples. 12-25 BibTeX
• Michael P. Wellman: Market-Oriented Programming (Abstract). 26-27 BibTeX

Knowledge Representation and Automated Reasoning

• Matías Alvarado, Gustavo Núñez: Belief Increasing in SKL Model Frames. 28-38 BibTeX
• A. V. Joshi, S. C. Sahasrabudhe, K. Shankar: Sensitivity of Combination Schemes under Conflicting Conditions and a New Method. 39-48 BibTeX
• Verónica Becher: Two Conditional Logics for Defeasible Inference: A Comparison Preliminary Version. 49-58 BibTeX
• Tania Bedrax-Weiss, Leopoldo E. Bertossi: Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem. 59-68 BibTeX
• Michael da Costa Móra, José Gabriel Lopes, Helder Coelho: Modeling Intentions with Extended Logic Programming. 69-78 BibTeX
• Claudia M. G. M. Oliveira: Labelled Theorem Proving for Substructural Logics. 79-90 BibTeX
• Nicia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz: Labelled Abduction. 91-100 BibTeX
• Odinaldo Rodrigues, Mario R. F. Benevides: PROMAL: Programming in Modal Action Logic. 101-111 BibTeX
• Gerson Zaverucha, Sheila R. M. Veloso: A Goal Directed Reasoning for Semi-Normal Default Theories. 112-120 BibTeX

Tutoring Systems

• Esma Aïmeur, Claude Frasson, Carmen Alexe: Towards New Learning Strategies in Intelligent Tutoring Systems. 121-130 BibTeX
• Bert Bredeweg, Kees de Koning, Cis Schut: Modeling the Influence of Non-Changing Quantities. 131-140 BibTeX
• Evandro de Barros Costa, Manoel A. Lopes, Edilson Ferneda: Mathema: A Learning Environment Based on a Multi-Agent Architecture. 141-150 BibTeX
• Alexandre I. Direne: A General Model of Dialogue Interpretation for Concept Tutoring Systems. 151-160 BibTeX

Machine Learning

• Manuel Lameiras Campagnolo, Helder Coelho, Jorge H. Capelo: Knowledge Based Clustering of Partially Characterized Objects. 161-170 BibTeX
• Maria do Carmo Nicoletti, Maria Carolina Monard: Constructing the Extensional Representation of an Intentional Domain Theory in Inductive Logic Programming. 171-180 BibTeX
• Tobias Scheffer: A Generic Algorithm for Learning Rules with Hierarchical Exceptions. 181-190 BibTeX

Neural Networks

• Luís Alfredo V. de Carvalho, Valéria L. Roitman: A Neural Model for the Visual Attention Phenomena. 191-200 BibTeX
• Lucila Ohno-Machado, Mark A. Musen: Learning Rare Categories in Backpropagation. 201-209 BibTeX
• Emmanuel Passos, Romildo Valente: An Automatic Adaptive Neurocomputing Algorithm for Time Series Prediction. 210-218 BibTeX

Distributed AI

• Milton Corrêa, Sueli Bandeira Teixeira Mendes: A Computational Approach to Situation Theory Based on Logic Programming to Design Cognitive Agents. 219-231 BibTeX
• Flávio M. de Oliveira: Measuring Agreement and Harmony in Multi-Agent Societies: A First Approach. 232-241 BibTeX
• Marcos Augusto Hochuli Shmeil, Eugenio Oliveira: Detecting the Opportunities of Learning from the Interactions in a Society of Organizations. 242-252 BibTeX
• Jaime Simão Sichman, Yves Demazeau: Exploiting Social Reasioning to Enhance Adaption in Open-Multi-Agent Systems. 253-263 BibTeX

Knowledge Acquisition and Knowledge Bases

• Edilson Ferneda, Mário E. de Souza e Silva, Hélio de Menezes Silva: A System for Aiding Discovery: Mechanisms for Knowledge Generation. 264-273 BibTeX
• M. M. Fonkam: On a Composite Formalism and Approach to Presenting the Knowledge Content of a Relational Database. 274-284 BibTeX
• Sofiane Labidi, Mohamed M. Gammoudi: Method for Knowledge Acquisition from Multiple Experts. 285-294 BibTeX
• Emmanuel Passos, Alberto Sade Jr., Cícero Garcez, Asterio K. Tanaka: A Conceptual Model for a Knowledge Base Homogeneously Stored in a Database Environment. 295-301 BibTeX

Natural Language Processing

• Paul McFetridge, Aline Villavicencio: A Hierarchial Description of the Portuguese Verb. 302-311 BibTeX
• Marie-Hélène Stefanini, Yves Demazeau: TALISMAN: A Multi-Agent System for Natuarl Language Processing. 312-322 BibTeX
• Aline Villavicencio, Nuno M. C. Marques, José Gabriel Pereira Lopes, Fabio Villavicencio: Part-of-Speech Tagging for Portuguese Texts. 323-332 BibTeX
• Walid S. Saba, Jean-Pierre Corriveau: Quantification and Cognitive Constraints in Natural Language Understanding. 333-342 BibTeX