skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: Nome da Publicação: Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A contraction core for Horn belief change preliminary report
A contraction core for Horn belief change preliminary report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A contraction core for Horn belief change preliminary report

Richard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)

Proceedings Toronto : SFU, 2010

Toronto SFU 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-1832114 ) e outros locais(Acessar)

2
Rolling bearing fault diagnostic system using logic
Rolling bearing fault diagnostic system using logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Rolling bearing fault diagnostic system using logic

Silmara Alexandra da Silva Vicente Rodrigo Yoshiaki Fujimoto; Linilson Rodrigues Padovese 1960-; IEEE International Fuzzy Systems Conferene (10. 2001 Australia)

Proceedings Piscataway : IEEE, 2001

Piscataway IEEE 2001

Item não circula. Consulte sua biblioteca.(Acessar)

3
Algorithms for deciding counting quantifiers over unary predicates
Algorithms for deciding counting quantifiers over unary predicates
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Algorithms for deciding counting quantifiers over unary predicates

Marcelo Finger Glauber De Bona 1984-; AAAI Conference on Artificial Intelligence (31. San Francisco, CA 2017)

Proceedings Palo Alto: AAAI Publications, 2017

Palo Alto AAAI Publications 2017

Acesso online. A biblioteca também possui exemplares impressos.

4
Uma lógica para comutação entre fontes de alta tensão em uma subestação industrial com o uso de relés digitais comerciais
Uma lógica para comutação entre fontes de alta tensão em uma subestação industrial com o uso de relés digitais comerciais
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Uma lógica para comutação entre fontes de alta tensão em uma subestação industrial com o uso de relés digitais comerciais

Ulisses Chemin Netto Juliano Coelho Miranda; Denis Vinícius Coury; Mário Oleskovicz; Congreso Latinoamericano Generación y Transporte de Energía Eléctrica (7. 2007 Valparaíso)

Proceedings Guaratinguetá : FDCT, 2007

Guaratinguetá FDCT 2007

Item não circula. Consulte sua biblioteca.(Acessar)

5
The downward Lowenhein-Skolem theorem
The downward Lowenhein-Skolem theorem
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

The downward Lowenhein-Skolem theorem

Francisco Miraglia Neto Séminaire de structures algébriques ordonnées : 1991-1992 (1991-1992 Paris)

Proceedings Paris : Université Paris 7, 1993

Paris Université Paris 7 1993

Item não circula. Consulte sua biblioteca.(Acessar)

6
On the revision of planning tasks
On the revision of planning tasks
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On the revision of planning tasks

Andreas Herzig M. V Menezes (Maria Viviane); Leliane Nunes de Barros; Renata Wassermann; European Conference on Artificial Intelligence - ECAI (21. 2014 Prague)

Proceedings Amsterdam: IOS Press, 2014

Amsterdam IOS Press 2014

Localização: IME - Inst. Matemática e Estatística    (PROD-2510738 )(Acessar)

7
Consolidating probabilistic knowledge bases via belief contraction
Consolidating probabilistic knowledge bases via belief contraction
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Consolidating probabilistic knowledge bases via belief contraction

Glauber De Bona 1984- Marcelo Finger; Márcio Moretto Ribeiro; Yuri David Santos; Renata Wassermann; International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016 (15. Cape Town, South Africa 2016)

Proceedings Menlo Park: AAAI Publications, 2016

Menlo Park AAAI Publications 2016

Acesso online. A biblioteca também possui exemplares impressos.

8
Between belief bases and belief sets partial meet contraction
Between belief bases and belief sets partial meet contraction
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Between belief bases and belief sets partial meet contraction

Yuri D Santos Marcio M Ribeiro; Renata Wassermann; International Workshop on Defeasible and Ampliative Reasoning - DARe (2. 2015 Buenos Aires); International Joint Conference on Artificial Intelligence - IJCAI (24. 2015 Buenos Aires)

Proceedings Aachen v. 1423, [7 p.], 2015

Aachen 2015

Acesso online. A biblioteca também possui exemplares impressos.

9
Belief change and non-monotonic reasoning sans compactness
Belief change and non-monotonic reasoning sans compactness
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Belief change and non-monotonic reasoning sans compactness

Jandson S Ribeiro Abhaya Nayak; Renata Wassermann; AAAI Conference on Artificial Intelligence (33. 2019 Honolulu, Hawaii, USA)

Proceedings Palo Alto : AAAI, 2019

Palo Alto AAAI 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-2963000 )(Acessar)

10
Equality in linear logic
Equality in linear logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Equality in linear logic

Marcelo Esteban Coniglio Francisco Miraglia Neto; Séminaire de structures algébriques ordonnées : 1994-1995 (1994-1995 Paris)

Proceedings Paris : Université Paris 7, 1996

Paris Université Paris 7 1996

Localização: IME - Inst. Matemática e Estatística    (PROD-3199601 )(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (8)
  2. Recursos Online (3)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.