Advances in Artificial Intelligence [electronic resource] : 12th Brazilian Symposium on Artificial Intelligence SBIA '95, Campinas, Brazil, October 10–12, 1995 Proceedings / edited by Jacques Wainer, Ariadne Carvalho.

Rethinking and reinventing Artificial Intelligence from the perspective of human-centered computational artifacts -- Automatic documentation generation: Including examples -- Market-oriented programming (abstract) -- Belief increasing in SKL model frames -- Sensitivity of combination schemes under conflicting conditions and a new method -- Two conditional logics for defeasible inference: A comparison preliminary version -- Underlying semantics for the assessment of Reiter's solution to the frame problem -- Modeling intentions with extended logic programming -- Labelled theorem proving for substructural logics -- Labelled abduction -- PROMAL: Programming in modal action logic -- A goal directed reasoning for semi-normal default theories -- Towards new learning strategies in intelligent tutoring systems -- Modeling the influence of non-changing quantities -- Mathema: A learning environment based on a multi-agent architecture -- A general model of dialogue interpretation for concept tutoring systems -- Knowledge based clustering of partially characterized objects -- Constructing the extensional representation of an intensional domain theory in inductive logic programming -- A generic algorithm for learning rules with hierarchical exceptions -- A neural model for the visual attention phenomena -- Learning rare categories in backpropagation -- An automatic adaptive neurocomputing algorithm for time series prediction -- A computational approach to situation theory based on logic programming to design cognitive agents -- Measuring agreement and harmony in multi-agent societies: A first approach -- Detecting the opportunities of learning from the interactions in a society of organizations -- Exploiting social reasoning to enhance adaptation in open multi-agent systems -- A system for aiding discovery: Mechanisms for knowledge generation -- On a composite formalism and approach to presenting the knowledge content of a relational database -- Method for knowledge acquisition from multiple experts -- A conceptual model for a knowledge base homogeneously stored in a database environment -- A hierarchical description of the Portuguese verb -- TALISMAN: A multi-agent system for natural language processing -- Part-of-speech tagging for portuguese texts -- Quantification and cognitive constraints in natural language understanding.

This book constitutes the refereed proceedings of the 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, held in Campinas, Brazil, in October 1995. The book presents three invited papers and 31 revised full papers selected from a total 57 submissions, more than half of them coming from abroad. The papers are organized in sections on knowledge representation and automated reasoning, tutoring systems, machine learning, neural networks, distributed artificial intelligence, knowledge acquisition and knowledge bases, and natural language processing.