skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formalizing planning algorithms for temporally extended goals
Formalizing planning algorithms for temporally extended goals
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Formalizing planning algorithms for temporally extended goals

Silvio do Lago Pereira Leliane Nunes de Barros

São Paulo IME-USP 2007

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2007 v.9 ) e outros locais(Acessar)

2
Towards a logic of perishable propositions
Towards a logic of perishable propositions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards a logic of perishable propositions

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2001

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.12 e.1 ) e outros locais(Acessar)

3
Specifying credal sets with probabilistic answer set programming
Specifying credal sets with probabilistic answer set programming
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Specifying credal sets with probabilistic answer set programming

Denis Deratani Mauá Fabio Gagliardi Cozman 1967-; International Symposium on Imprecise Probability: Theories and Applications - ISIPTA (13. 2023 Oviedo, Spain)

Proceedings of Machine Learning Research Brookline v. 215, p. 321-332, 2023

Brookline 2023

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

4
Automated reasoning with uncertainties
Automated reasoning with uncertainties
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Automated reasoning with uncertainties

Flávio Soares Corrêa da Silva

São Paulo IME-USP 1993

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar)

5
Algebraic and logic programming
Algebraic and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and logic programming

International Conference, ALP'94, 4 1994 Madrid Giorgio Levi; Mario Rodriguez-Artalejo

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.850 )(Acessar)

6
Lógica de programação aprendendo a programar
Lógica de programação aprendendo a programar
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica de programação aprendendo a programar

Camila Ceccatto da Silva Everaldo Antônio de Paula

Santa Cruz do Rio Pardo, SP Viena 2007

Localização: EEL - Biotecnologia e Química    (004.312 Si38l )(Acessar)

7
Programacion logica y funcional
Programacion logica y funcional
Material Type:
Livro 		Adicionar ao Meu Espaço

Programacion logica y funcional

Jorge Vidart Alvaro Tasistro; Escola Brasileiro-Argentina de Informatica (3 1988 Curitiba)

Curitiba Ebai 1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 V667p ) e outros locais(Acessar)

8
Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

T. F Melham (Tom F.); Juanito Camilleri

Berlin New York Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.859 ) e outros locais(Acessar)

9
Learning acyclic probabilistic logic programs from data.
Learning acyclic probabilistic logic programs from data.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Learning acyclic probabilistic logic programs from data.

Faria, Francisco Henrique Otte Vieira De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2017-12-12

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

10
Closed-form solutions in learning probabilistic logic programs by exact score maximization
Closed-form solutions in learning probabilistic logic programs by exact score maximization
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Closed-form solutions in learning probabilistic logic programs by exact score maximization

Francisco Henrique Otte Vieira de Faria Fabio Gagliardi Cozman 1967-; Denis Deratani Mauá; International Conference on Scalable Uncertainty Management - SUM (11. 2017 Granada, Spain)

Proceedings Cham: Springer, 2017

Cham Springer 2017

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (135)
  2. Artigos  (21)
  3. Produções Acadêmicas  (15)
  4. Produções Técnicas  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (19)
  2. 1989Até1996  (46)
  3. 1997Até2004  (50)
  4. 2005Até2013  (57)
  5. Após 2013  (17)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (139)
  2. Português  (34)
  3. Espanhol  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.