SBIA Instructions for
Author's Presentation
All papers must be presented by one author in a oral presentation
session.
The event will provide a computer with windows installed. Each paper
will have
20 minutes of
presentation
and 10
minutes of discussion. Please, prepare a slide show
considering the time available. All files must be copied to the computer
minutes before the session begins.
SBIA Accepted Papers
Tuesday, May 25th 2010
Publication
Policy
It is the conference policy that at least one of the
authors of accepted papers has to register as FULL REGISTRATION *before* the deadline for
sending the camera-ready paper. Accepted papers without the respective
author registration *before* the deadline will not be included in the
proceedings.
Accepted Papers: |
A Dijkstra Algorithm for Fixed-Wing UAV Motion Planning Based on
Terrain Elevation.
|
A
Logic for Conceptual Hierarchies.
|
A Proof System for Temporal Reasoning with Sequential Information.
|
A Refuted Conjecture on Probabilistic Satisfiability. |
A Semi-Automatic Method for Ontology Extraction from Portuguese
Language Wikipedia's Categories. |
A Sequent Calculus for 3-Dimensional Space. |
A Survey and Classification of A* based Best-First Heuristic Search
Algorithms. |
An Adaptive Genetic Algorithm to the Single Machine Scheduling Problem with Earliness and Tardiness Penalties. Fabio Fernandes Ribeiro (Centro Federal de Educacao Tecnologica de Minas Gerais / CEFET-MG), Marcone Jamilson Souza (Universidade Federal de Ouro Preto (UFOP), Sérgio Souza (CEFET-MG) |
Bayesian Network Structure Inference with an Hierarchical Bayesian
Model. |
Developing a Conscious-based Mind for an Artificial Creature. |
Factored Translation between Brazilian Portuguese and English. |
Feasible UAV Path Planning Using Genetic Algorithms and Bézier
Curves. |
High-Level Modeling of Component-based CSPs.
|
Implementing Normative Agents by Using Jason. |
Improving the Distributed Constraint Optimization Using Social
Network Analysis. |
Improving Space Representation in Multiagent Learning via Tile
Coding. |
Incremental Learning of Multivariate Gaussian Mixture Models. |
Intuicionistic Fuzzy Probability. |
Knowledge-Based System for the Maintenance Registration and
Consistency among UML Diagrams. |
Learning Terminologies in Probabilistic Description Logics. |
Markov decision processes from colored Petri nets. |
On the Construction of Synthetic Characters with Personality and
Emotion. |
Ontological Primitives for Visual Knowledge. |
Ontology Reasoning in Agent-Oriented Programming. |
Planning for Multi-Robot Localization. |
Question Answering for Portuguese: how much is needed? |
Semantic Mapping with a Probabilistic Description Logic. |
Simulating the emergence of social relationships networks in groups
of believable agents: the X-BARIM model. |
Symbolic Bounded Real-time Dynamic Programming. |
System Design Modification with Actions. |
Towards automated trading based on fundamentalist and technical
data. |
|
|