skip to main content
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
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

12
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

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
The state of the art in end-user software engineering
Material Type:
Artigo
Adicionar ao Meu Espaço

The state of the art in end-user software engineering

Ko, Andrew ; Abraham, Robin ; Beckwith, Laura ; Blackwell, Alan ; Burnett, Margaret ; Erwig, Martin ; Scaffidi, Chris ; Lawrance, Joseph ; Lieberman, Henry ; Myers, Brad ; Rosson, Mary ; Rothermel, Gregg ; Shaw, Mary ; Wiedenbeck, Susan

ACM computing surveys, 2011-04, Vol.43 (3), p.1-44 [Periódico revisado por pares]

New York, NY: ACM

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
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: ACM

Texto completo disponível

20
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

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.641)
  2. Anais de Congresso  (673)
  3. Book Chapters  (302)
  4. Verbetes  (101)
  5. magazinearticle  (33)
  6. Resenhas  (23)
  7. Livros  (3)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1997  (103)
  2. 1997Até2002  (495)
  3. 2003Até2008  (1.018)
  4. 2009Até2015  (1.339)
  5. Após 2015  (874)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.766)
  2. Japonês  (241)
  3. Espanhol  (8)
  4. Francês  (6)
  5. Alemão  (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

Buscando em bases de dados remotas. Favor aguardar.