Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings
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 f...
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science. Lecture notes in artificial intelligence
991 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advances in artificial intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, proceedings, Jacques Wainer, Ariadne Carvalho (eds.), Berlin, Springer-Verlag, 1995, 1 vol. (XII-342 p.), Lecture notes in computer science, 3-540-60436-7 • Advances in Artificial Intelligence, Texte imprimé, 9783662213865 |
İçindekiler:
- 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.