rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Advances in Artificial Intelligence – SBIA 2004
    sub title: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings
  name:
    name part: Bazzan, Ana L. C.
    role:
      role term: editor.
  name:
    name part: Labidi, Sofiane.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2004
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVIII, 554 p. online resource.
  abstract: SBIA, the Brazilian Symposium on Arti?cial Intelligence, is a biennial event intended to be the main forum of the AI community in Brazil. The SBIA 2004 was the 17th issue of the series initiated in 1984. Since 1995 SBIA has been accepting papers written and presented only in English, attracting researchers from all over the world. At that time it also started to have an international program committee, keynote invited speakers, and proceedings published in the Lecture Notes in Arti?cial Intelligence (LNAI) series of Springer (SBIA 1995, Vol. 991, SBIA 1996, Vol. 1159, SBIA 1998, Vol. 1515, SBIA 2000, Vol. 1952, SBIA 2002, Vol. 2507). SBIA 2004 was sponsored by the Brazilian Computer Society (SBC). It was held from September 29 to October 1 in the city of S˜ ao Luis, in the northeast of Brazil, together with the Brazilian Symposium on Neural Networks (SBRN). This followed a trend of joining the AI and ANN communities to make the joint event a very exciting one. In particular, in 2004 these two events were also held togetherwiththeIEEEInternationalWorkshoponMachineLearningandSignal Processing (MMLP), formerly NNLP. The organizationalstructure of SBIA 2004was similar to other international scienti?cconferences.Thebackboneofthe conferencewasthe technicalprogram whichwascomplementedbyinvitedtalks,workshops,etc.onthemainAItopics.
  table of contents: Logics, Planning, and Theoretical Methods -- On Modalities for Vague Notions -- Towards Polynomial Approximations of Full Propositional Logic -- Using Relevance to Speed Up Inference -- A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic -- Reasoning About Requirements Evolution Using Clustered Belief Revision -- Analysing AI Planning Problems in Linear Logic – A Partial Deduction Approach -- Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning -- High-Level Robot Programming: An Abductive Approach Using Event Calculus -- Search, Reasoning, and Uncertainty -- Word Equation Systems: The Heuristic Approach -- A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation -- Machine Learned Heuristics to Improve Constraint Satisfaction -- Towards a Natural Way of Reasoning -- Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? -- Paraconsistent Sensitivity Analysis for Bayesian Significance Tests -- Knowledge Representation and Ontologies -- An Ontology for Quantities in Ecology -- Using Color to Help in the Interactive Concept Formation -- Propositional Reasoning for an Embodied Cognitive Model -- A Unified Architecture to Develop Interactive Knowledge Based Systems -- Natural Language Processing -- Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts -- Applying a Lexical Similarity Measure to Compare Portuguese Term Collections -- Dialog with a Personal Assistant -- Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing -- DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese -- A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese -- Machine Learning, Knowledge Discovery, and Data Mining -- Heuristically Accelerated Q–Learning: A New Approach to Speed Up Reinforcement Learning -- Using Concept Hierarchies in Knowledge Discove…
  note: edited by Ana L. C. Bazzan, Sofiane Labidi.
  subject:
    topic: Computer science
  subject:
    topic: Computers
  subject:
    topic: Mathematical logic
  subject:
    topic: Database management
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Database Management
  classification: Q334-342
  classification: TJ210.2-211.495
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 3171
  identifier: 9783540286455
  identifier: http://dx.doi.org/10.1007/b100195
  record info:
    record creation date: 121227
    record change date: 20151030151143.0
    record identifier: 978-3-540-28645-5