Resultados da pesquisa

Catálogo de Publicações - Todos

  • A mostrar 1 - 10 resultados de 10
Filtros
  1. 1

    Probabilistic satisfiability: algorithms with the presence and absence of a phase transition

    Publicação
    por De Bona, Glauber
    Origem: Oasisbr
    2015 artigo Brasil acesso aberto
  2. 2

    Facts, arguments, annotations and reasoning

    Publicação
    por Silva, Flávio Soares Corrêa da
    Origem: Oasisbr
    2001 artigo Brasil acesso aberto
  3. 3

    Defining and exploring a grid system ontology

    Publicação
    por Kofuji, Sergio Takeo
    Origem: Oasisbr
    2006 outro Brasil acesso aberto
  4. 4

    Horn belief change: a contraction core

    Publicação
    por Wassermann, Renata
    Origem: Oasisbr
    2010 outro Brasil acesso aberto
  5. 5

    Choosing what to believe: new results in selective revision

    Publicação
    por Reis, Maurício
    Origem: Oasisbr
    2020 outro Brasil acesso aberto
  6. 6

    A survey on multiple revision

    Publicação
    por Wassermann, Renata
    Origem: Oasisbr
    2020 outro Brasil acesso aberto
  7. 7

    Belief contraction in web-ontology languages

    Publicação
    por Pan, Jeff
    Origem: Oasisbr
    2009 outro Brasil acesso aberto
  8. 8

    Revising formal program specifications using KMTS

    Publicação
    por Wassermann, Renata
    Origem: Oasisbr
    2013 outro Brasil acesso aberto
  9. 9

    Belief revision in description logics with tipicality

    Publicação
    por Wassermann, Renata
    Origem: Oasisbr
    2013 outro Brasil acesso aberto
  10. 10

    Belief update without compactness in non-finitary languages

    Publicação
    por Wassermann, Renata
    Origem: Oasisbr
    2019 outro Brasil acesso aberto

Ferramentas de pesquisa: