20. SBIA 2010: São Bernardo do Campo, Brazil

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
  
• Monica Góes Eboli, Fabio Gagliardi Cozman:
  Markov Decision Processes from Colored Petri Nets. 72-81
  

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

• Paulo J. P. Pinheiro, Jacques Wainer:
  Planning for Multi-robot Localization. 183-192
  
• 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
  
• Marcelo Finger, Glauber De Bona:
  A Refuted Conjecture on Probabilistic Satisfiability. 293-302
  
• Norihiro Kamide:
  A Logic for Conceptual Hierarchies. 303-312
  

Last update Sun May 19 23:32:18 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page