


default search action
20. SBIA 2010: São Bernardo do Campo, Brazil
- Antônio Carlos da Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel:
Advances in Artificial Intelligence - SBIA 2010 - 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings. Lecture Notes in Computer Science 6404, Springer 2011, 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
, Fábio 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
, Fábio Gagliardi Cozman
, Jun Okamoto Jr.
:
Semantic Mapping with a Probabilistic Description Logic. 62-71 - Monica Góes Eboli, Fábio 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 R. D. Silva, Geber L. Ramalho, Patrícia 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 Gurgel 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é Demísio 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 R. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.