skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
previous page 1 Resultados 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Answer set programming and agents
Material Type:
Artigo
Adicionar ao Meu Espaço

Answer set programming and agents

Dyoub, Abeer ; Costantini, Stefania ; De Gasperis, Giovanni

Knowledge engineering review, 2018, Vol.33, Article e19 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

12
The third open answer set programming competition
Material Type:
Artigo
Adicionar ao Meu Espaço

The third open answer set programming competition

CALIMERI, FRANCESCO ; IANNI, GIOVAMBATTISTA ; RICCA, FRANCESCO

Theory and practice of logic programming, 2014-01, Vol.14 (1), p.117-135 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

13
Machine learning of symbolic compositional rules with genetic programming: dissonance treatment in Palestrina
Material Type:
Artigo
Adicionar ao Meu Espaço

Machine learning of symbolic compositional rules with genetic programming: dissonance treatment in Palestrina

Anders, Torsten ; Inden, Benjamin

PeerJ. Computer science, 2019-12, Vol.5, p.e244-e244, Article e244 [Periódico revisado por pares]

United States: PeerJ. Ltd

Texto completo disponível

14
On generalized algebraic theories and categories with families
Material Type:
Artigo
Adicionar ao Meu Espaço

On generalized algebraic theories and categories with families

Bezem, Marc ; Coquand, Thierry ; Dybjer, Peter ; Escardó, Martín

Mathematical structures in computer science, 2021-10, Vol.31 (9), p.1006-1023 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

15
Team-building with answer set programming in the Gioia-Tauro seaport
Material Type:
Artigo
Adicionar ao Meu Espaço

Team-building with answer set programming in the Gioia-Tauro seaport

RICCA, F. ; GRASSO, G. ; ALVIANO, M. ; MANNA, M. ; LIO, V. ; IIRITANO, S. ; LEONE, N.

Theory and practice of logic programming, 2012-05, Vol.12 (3), p.361-381 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

16
Linear work suffix array construction
Material Type:
Artigo
Adicionar ao Meu Espaço

Linear work suffix array construction

KÄRKKÄINEN, Juha ; SANDERS, Peter ; BURKHARDT, Stefan

Journal of the ACM, 2006-11, Vol.53 (6), p.918-936 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

17
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
Material Type:
Artigo
Adicionar ao Meu Espaço

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System

JULIÁN-IRANZO, PASCUAL ; SÁENZ-PÉREZ, FERNANDO

Theory and practice of logic programming, 2021-03, Vol.21 (2), p.264-282 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

18
The online laboratory: conducting experiments in a real labor market
Material Type:
Artigo
Adicionar ao Meu Espaço

The online laboratory: conducting experiments in a real labor market

Horton, John J. ; Rand, David G. ; Zeckhauser, Richard J.

Experimental economics : a journal of the Economic Science Association, 2011-09, Vol.14 (3), p.399-425 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

19
Spatio-temporal model checking of vehicular movement in public transport systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Spatio-temporal model checking of vehicular movement in public transport systems

Ciancia, Vincenzo ; Gilmore, Stephen ; Grilletti, Gianluca ; Latella, Diego ; Loreti, Michele ; Massink, Mieke

International journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.289-311 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

20
Proto-Quipper with Dynamic Lifting
Material Type:
Artigo
Adicionar ao Meu Espaço

Proto-Quipper with Dynamic Lifting

Fu, Peng ; Kishida, Kohei ; Ross, Neil J. ; Selinger, Peter

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.309-334, Article 11 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

previous page 1 Resultados 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. Artigos  (2.978)
  2. Book Chapters  (306)
  3. Anais de Congresso  (175)
  4. Verbetes  (103)
  5. magazinearticle  (22)
  6. Resenhas  (22)
  7. Dissertações  (17)
  8. Livros  (4)
  9. Artigos de Jornal  (1)
  10. Reports  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1996  (77)
  2. 1996Até2002  (617)
  3. 2003Até2009  (1.004)
  4. 2010Até2017  (1.245)
  5. Após 2017  (740)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.619)
  2. Japonês  (236)
  3. Espanhol  (10)
  4. Alemão  (7)
  5. Francês  (6)
  6. Português  (3)
  7. Norueguês  (1)
  8. Turco  (1)
  9. Letão  (1)
  10. Africâner  (1)
  11. Catalão  (1)
  12. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Johnstone, P
  2. Workshop on Category Theory and Computer Science
  3. Rydeheard, D
  4. Pitt, D

Buscando em bases de dados remotas. Favor aguardar.