Advertisement

Advances in Artificial Intelligence – SBIA 2010

20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings

  • Antônio Carlos da Rocha Costa
  • Rosa Maria Vicari
  • Flavio Tonidandel
Conference proceedings SBIA 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6404)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6404)

Table of contents

  1. Front Matter
    PDF

  2. Chapter 1: Ontologies, Knowledge Representation and Reasoning

    1. Ontological Primitives for Visual Knowledge
      Alexandre Lorenzatti, Mara Abel, Sandro Rama Fiorini, Ariane Kravczyk Bernardes, Claiton Marion dos Santos Scherer
      Pages 1-10
    2. A Semi-automatic Method for Domain Ontology Extraction from Portuguese Language Wikipedia’s Categories
      Clarissa Castellã Xavier, Vera Lúcia Strube de Lima
      Pages 11-20
    3. Ontology Reasoning in Agent-Oriented Programming
      Claudio Fuzitaki, Álvaro Moreira, Renata Vieira
      Pages 21-30
    4. System Design Modification with Actions
      Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros
      Pages 31-40
    5. Learning Terminologies in Probabilistic Description Logics
      Kate Revoredo, José Eduardo Ochoa-Luna, Fabio Gagliardi Cozman
      Pages 41-50
    6. Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams
      Cleverton Ferreira Borba, Ana Estela Antunes da Silva
      Pages 51-61
    7. Semantic Mapping with a Probabilistic Description Logic
      Rodrigo Polastro, Fabiano Corrêa, Fabio Cozman, Jun Okamoto Jr.
      Pages 62-71
    8. Markov Decision Processes from Colored Petri Nets
      Monica Góes Eboli, Fabio Gagliardi Cozman
      Pages 72-81

  3. Chapter 2: Machine Learning

    1. Incremental Learning of Multivariate Gaussian Mixture Models
      Paulo Martins Engel, Milton Roberto Heinen
      Pages 82-91
    2. Bayesian Network Structure Inference with an Hierarchical Bayesian Model
      Adriano Velasque Werhli
      Pages 92-101

  4. Chapter 3: Autonomous Agents and Multiagent Systems

    1. On the Construction of Synthetic Characters with Personality and Emotion
      Ary Fagundes Bressane Neto, Flávio Soares Corrêa da Silva
      Pages 102-111
    2. Towards Automated Trading Based on Fundamentalist and Technical Data
      Carlos Henrique Dejavite Araújo, Paulo André Lima de Castro
      Pages 112-121
    3. Developing a Consciousness-Based Mind for an Artificial Creature
      Ricardo Capitanio Martins da Silva, Ricardo Ribeiro Gudwin
      Pages 122-132
    4. Simulating the Emergence of Social Relationship Networks in Groups of Believable Agents: The X-BARIM Model
      Pablo Barbosa, Danielle Silva, Geber Ramalho, Patricia Tedesco
      Pages 133-142
    5. Using Jason to Develop Normative Agents
      Baldoino Fonseca dos Santos Neto, Viviane Torres da Silva, Carlos Jos Pereira de Lucena
      Pages 143-152
    6. Improving Space Representation in Multiagent Learning via Tile Coding
      Samuel Justo Waskow, Ana Lcia Cetertich Bazzan
      Pages 153-162

  5. Chapter 4: Natural Language Processing

    1. Factored Translation between Brazilian Portuguese and English
      Helena de Medeiros Caseli, Israel Aono Nunes
      Pages 163-172
    2. Question Answering for Portuguese: How Much Is Needed?
      Rodrigo Wilkens, Aline Villavicencio
      Pages 173-182

  6. Chapter 5: Planning and Scheduling

    1. Planning for Multi-robot Localization
      Paulo Pinheiro, Jacques Wainer
      Pages 183-192
    2. Symbolic Bounded Real-Time Dynamic Programming
      Karina Valdivia Delgado, Cheng Fang, Scott Sanner, Leliane Nunes de Barros
      Pages 193-202
    3. An Adaptive Genetic Algorithm to the Single Machine Scheduling Problem with Earliness and Tardiness Penalties
      Fábio Fernandes Ribeiro, Marcone Jamilson Freitas Souza, Sérgio Ricardo de Souza
      Pages 203-212
    4. A Dijkstra Algorithm for Fixed-Wing UAV Motion Planning Based on Terrain Elevation
      Felipe Leonardo Lôbo Medeiros, José Demisio Simões da Silva
      Pages 213-222
    5. Feasible UAV Path Planning Using Genetic Algorithms and Bézier Curves
      Douglas Guimarães Macharet, Armando Alves Neto, Mario Fernando Montenegro Campos
      Pages 223-232

  7. Chapter 6: Constraints and Search

    1. High-Level Modeling of Component-Based CSPs
      Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
      Pages 233-242
    2. Improving the Distributed Constraint Optimization Using Social Network Analysis
      Allan Rodrigo Leite, André Pinz Borges, Laércio Martins Carpes, Fabrício Enembreck
      Pages 243-252
    3. A Survey and Classification of A* Based Best-First Heuristic Search Algorithms
      Luis Henrique Oliveira Rios, Luiz Chaimowicz
      Pages 253-262

  8. Chapter 7: Logics for AI

    1. A Sequent Calculus for 3-Dimensional Space
      Norihiro Kamide
      Pages 263-272
    2. Intuitionistic Fuzzy Probability
      Claudilene Gomes Da Costa, Benjamin Callejas Bedregal, Adrião Duarte Doria Neto
      Pages 273-282
    3. A Proof System for Temporal Reasoning with Sequential Information
      Norihiro Kamide
      Pages 283-292
    4. A Refuted Conjecture on Probabilistic Satisfiability
      Marcelo Finger, Glauber De Bona
      Pages 293-302
    5. A Logic for Conceptual Hierarchies
      Norihiro Kamide
      Pages 303-312
  9. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in São Bernardo do Campo, Brazil, in October 2010.

The 31 papers presented were carefully reviewed and selected from 91 submissions. The topics covered are: ontologies, knowledge representation and reasoning; machine learning; autonomous agents and multiagent systems; natural language processing; planning and scheduling; constraints and search; and logics for AI.

Keywords

Ontologie agents artificial intelligence autonomous agent knowledge knowledge representation machine learning

Editors and affiliations

  • Antônio Carlos da Rocha Costa
    • 1
  • Rosa Maria Vicari
    • 2
  • Flavio Tonidandel
    • 3
  1. 1.FURG, Centro de Ciências ComputacionaisUniversidade Federal do Rio GrandeRio GrandeBrazil
  2. 2.UFRGS, Instituto de InformáticaUniversidade Federal do Rio Grande do SulPorto AlegreBrazil
  3. 3.Departamento de Ciência da ComputaçãoCentro Universitário da FEISão Bernardo do CampoBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16138-4
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16137-7
  • Online ISBN 978-3-642-16138-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site