skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Open-Ended Evolution: Perspectives from the OEE Workshop in York
Material Type:
Artigo
Adicionar ao Meu Espaço

Open-Ended Evolution: Perspectives from the OEE Workshop in York

Taylor, Tim ; Bedau, Mark ; Channon, Alastair ; Ackley, David ; Banzhaf, Wolfgang ; Beslon, Guillaume ; Dolson, Emily ; Froese, Tom ; Hickinbotham, Simon ; Ikegami, Takashi ; McMullin, Barry ; Packard, Norman ; Rasmussen, Steen ; Virgo, Nathaniel ; Agmon, Eran ; Clark, Edward ; McGregor, Simon ; Ofria, Charles ; Ropella, Glen ; Spector, Lee ; Stanley, Kenneth O. ; Stanton, Adam ; Timperley, Christopher ; Vostinar, Anya ; Wiser, Michael

Artificial life, 2016-08, Vol.22 (3), p.408-423 [Periódico revisado por pares]

One Rogers Street, Cambridge, MA 02142-1209, USA: MIT Press

Texto completo disponível

2
Constructing a small category of setoids
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructing a small category of setoids

WILANDER, OLOV

Mathematical structures in computer science, 2012-02, Vol.22 (1), p.103-121 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

3
Lenses, fibrations and universal translations
Material Type:
Artigo
Adicionar ao Meu Espaço

Lenses, fibrations and universal translations

JOHNSON, MICHAEL ; ROSEBRUGH, ROBERT ; WOOD, R. J.

Mathematical structures in computer science, 2012-02, Vol.22 (1), p.25-42 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

4
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms
Material Type:
Artigo
Adicionar ao Meu Espaço

On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms

Chernoy, Viacheslav ; Shalom, Mordechai ; Zaks, Shmuel

Distributed computing, 2010-09, Vol.23 (1), p.43-60 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

5
Non-monotonic spatial reasoning with answer set programming modulo theories
Material Type:
Artigo
Adicionar ao Meu Espaço

Non-monotonic spatial reasoning with answer set programming modulo theories

WAŁĘGA, PRZEMYSŁAW ANDRZEJ ; SCHULTZ, CARL ; BHATT, MEHUL

Theory and practice of logic programming, 2017-03, Vol.17 (2), p.205-225 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

6
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

7
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

8
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

9
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

10
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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.203)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.238)
  2. magazinearticle  (15)
  3. Anais de Congresso  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2000  (116)
  2. 2000Até2005  (236)
  3. 2006Até2011  (337)
  4. 2012Até2018  (381)
  5. Após 2018  (185)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (157)
  2. Alemão  (3)
  3. Francês  (2)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.