skip to main content
Idioma:
Refinado por: assunto: Computer Science remover Nome da Publicação: Theory And Practice Of Logic Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A review of literature on parallel constraint solving
A review of literature on parallel constraint solving
Material Type:
Artigo 		Adicionar ao Meu Espaço

A review of literature on parallel constraint solving

GENT, IAN P. ; MIGUEL, IAN ; NIGHTINGALE, PETER ; MCCREESH, CIARAN ; PROSSER, PATRICK ; MOORE, NEIL C. A. ; UNSWORTH, CHRIS

Theory and practice of logic programming, 2018-09, Vol.18 (5-6), p.725-758 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
2
Dual-normal logic programs – the forgotten class
Dual-normal logic programs – the forgotten class
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dual-normal logic programs – the forgotten class

FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN

Theory and practice of logic programming, 2015-07, Vol.15 (4-5), p.495-510 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
3
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
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

Citações Citado por
4
Lower complexity bounds for lifted inference
Lower complexity bounds for lifted inference
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lower complexity bounds for lifted inference

JAEGER, MANFRED

Theory and practice of logic programming, 2015-03, Vol.15 (2), p.246-263 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
5
Non-monotonic spatial reasoning with answer set programming modulo theories
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

Citações Citado por
6
Normative design using inductive learning
Normative design using inductive learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Normative design using inductive learning

CORAPI, DOMENICO ; RUSSO, ALESSANDRA ; DE VOS, MARINA ; PADGET, JULIAN ; SATOH, KEN

Theory and practice of logic programming, 2011-07, Vol.11 (4-5), p.783-799 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
7
Team-building with answer set programming in the Gioia-Tauro seaport
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

Citações Citado por
8
The Seventh Answer Set Programming Competition: Design and Results
The Seventh Answer Set Programming Competition: Design and Results
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Seventh Answer Set Programming Competition: Design and Results

GEBSER, MARTIN ; MARATEA, MARCO ; RICCA, FRANCESCO

Theory and practice of logic programming, 2020-03, Vol.20 (2), p.176-204 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

Citações Citado por
9
The third open answer set programming competition
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

Citações Citado por
10
Using sequential runtime distributions for the parallel speedup prediction of SAT local search
Using sequential runtime distributions for the parallel speedup prediction of SAT local search
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using sequential runtime distributions for the parallel speedup prediction of SAT local search

ARBELAEZ, ALEJANDRO ; TRUCHET, CHARLOTTE ; CODOGNET, PHILIPPE

Theory and practice of logic programming, 2013-07, Vol.13 (4-5), p.625-639 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2013  (2)
  2. 2013Até2014  (2)
  3. 2015Até2017  (3)
  4. 2018Até2020  (3)
  5. Após 2020  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.