20. SBIA 2010: São Bernardo do Campo, Brazil
Antônio Carlos da Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel (Eds.): Advances in Artificial Intelligence - SBIA 2010 - 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-16137-7
Ontologies, Knowledge Representation and Reasoning
- Alexandre Lorenzatti, Mara Abel, Sandro Rama Fiorini, Ariane Kravczyk Bernardes, Claiton Marion dos Santos Scherer: Ontological Primitives for Visual Knowledge. 1-10
- Clarissa Castellã Xavier, Vera Lúcia Strube de Lima: A Semi-automatic Method for Domain Ontology Extraction from Portuguese Language Wikipedia's Categories. 11-20
- Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata Vieira: Ontology Reasoning in Agent-Oriented Programming. 21-30
- Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros: System Design Modification with Actions. 31-40
- Kate Revoredo, José Eduardo Ochoa Luna, Fabio Gagliardi Cozman: Learning Terminologies in Probabilistic Description Logics. 41-50
- Cleverton Ferreira Borba, Ana Estela Antunes da Silva: Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams. 51-61
- Rodrigo Bellizia Polastro, Fabiano Corrêa, Fabio Gagliardi Cozman, Jun Okamoto Jr.: Semantic Mapping with a Probabilistic Description Logic. 62-71
Machine Learning
- Paulo Martins Engel, Milton Roberto Heinen: Incremental Learning of Multivariate Gaussian Mixture Models. 82-91
- Adriano Velasque Werhli: Bayesian Network Structure Inference with an Hierarchical Bayesian Model. 92-101
Autonomous Agents and Multiagent Systems
- Ary Fagundes Bressane Neto, Flávio Soares Corrêa da Silva: On the Construction of Synthetic Characters with Personality and Emotion. 102-111
- Carlos Henrique Dejavite Araújo, Paulo André Lima de Castro: Towards Automated Trading Based on Fundamentalist and Technical Data. 112-121
- Ricardo Capitanio Martins da Silva, Ricardo R. Gudwin: Developing a Consciousness-Based Mind for an Artificial Creature. 122-132
- Pablo Barbosa, Danielle Silva, Geber Ramalho, Patricia Azevedo Tedesco: Simulating the Emergence of Social Relationship Networks in Groups of Believable Agents: The X-BARIM Model. 133-142
- Baldoino Fonseca dos Santos Neto, Viviane Torres da Silva, Carlos José Pereira de Lucena: Using Jason to Develop Normative Agents. 143-152
- Samuel Justo Waskow, Ana L. C. Bazzan: Improving Space Representation in Multiagent Learning via Tile Coding. 153-162
Natural Language Processing
- Helena de Medeiros Caseli, Israel Aono Nunes: Factored Translation between Brazilian Portuguese and English. 163-172
- Rodrigo Wilkens, Aline Villavicencio: Question Answering for Portuguese: How Much Is Needed? 173-182
Natural Language Processing
- Karina Valdivia Delgado, Cheng Fang, Scott Sanner, Leliane Nunes de Barros: Symbolic Bounded Real-Time Dynamic Programming. 193-202
- Fabio Fernandes Ribeiro, Marcone Jamilson Freitas Souza, Sérgio Ricardo de Souza: An Adaptive Genetic Algorithm to the Single Machine Scheduling Problem with Earliness and Tardiness Penalties. 203-212
- Felipe Leonardo Lôbo Medeiros, José Demisio Simões da Silva: A Dijkstra Algorithm for Fixed-Wing UAV Motion Planning Based on Terrain Elevation. 213-222
- Douglas Guimarães Macharet, Armando Alves Neto, Mario Fernando Montenegro Campos: Feasible UAV Path Planning Using Genetic Algorithms and Bézier Curves. 223-232
Constraints and Search
- Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto: High-Level Modeling of Component-Based CSPs. 233-242
- Allan Rodrigo Leite, André Pinz Borges, Laércio Martins Carpes, Fabrício Enembreck: Improving the Distributed Constraint Optimization Using Social Network Analysis. 243-252
- Luis Henrique Oliveira Rios, Luiz Chaimowicz: A Survey and Classification of A* Based Best-First Heuristic Search Algorithms. 253-262
Logics for AI
- Norihiro Kamide: A Sequent Calculus for 3-Dimensional Space. 263-272
- Claudilene Gomes da Costa, Benjamín C. Bedregal, Adrião Duarte Dória Neto: Intuitionistic Fuzzy Probability. 273-282
- Norihiro Kamide: A Proof System for Temporal Reasoning with Sequential Information. 283-292
- Norihiro Kamide: A Logic for Conceptual Hierarchies. 303-312
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team