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
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Lirias (KU Leuven Association) remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstracting s-semantics using a model-theoretic approach
Abstracting s-semantics using a model-theoretic approach
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Abstracting s-semantics using a model-theoretic approach

Boulanger, Dmitri ; Bruynooghe, Maurice ; Denecker, Marc Hermenegildo, M ; Penjam, J

Lecture notes in computer science, 1994, Vol.844, p.432-446 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
2
Abstracting numerical values in CLP(H,N)
Abstracting numerical values in CLP(H,N)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Abstracting numerical values in CLP(H,N)

Janssens, Gerda ; Bruynooghe, Maurice ; Englebert, Vincent Manuel. Hermenegildo ; Jaan Penjam

Lecture notes in computer science, 1994, Vol.844, p.400-414 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
3
Special section: Ten Years of Logic Programming
Special section: Ten Years of Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Special section: Ten Years of Logic Programming

Bruynooghe, M ; Debray, S ; Hermenegildo, M ; Maher, M Maher, Michael ; Hermenegildo, Manuel ; Bruynooghe, Maurice ; Debray, Saumya

The Journal of Logic Programming, 1995-01, Vol.23 (2), p.87-88

North Holland

Texto completo disponível

Citações Citado por
4
On termination of logic programs with floating point computations
On termination of logic programs with floating point computations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On termination of logic programs with floating point computations

Serebrenik, Alexander ; De Schreye, Danny Hermenegildo, M ; Puebla, G

Lecture Notes in Computer Science, 2002, Vol.2477, p.151-164 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
5
Reuse of results in termination analysis of typed logic programs
Reuse of results in termination analysis of typed logic programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Reuse of results in termination analysis of typed logic programs

Bruynooghe, Maurice ; Codish, Michael ; Genaim, Samir ; Vanhoof, Wim Hermenegildo, M ; Puebla, G

Lecture Notes in Computer Science, 2002, Vol.2477, p.477-492 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
6
Optimizing compilation of CHR with rule priorities
Optimizing compilation of CHR with rule priorities
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Optimizing compilation of CHR with rule priorities

De Koninck, Leslie ; Stuckey, Peter J ; Duck, Gregory J Garrigue, J ; Hermenegildo, M

Lecture notes in computer science, 2008, Vol.4989, p.32-47 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
7
Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
Material Type:
Report 		Adicionar ao Meu Espaço

Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization

Fierens, Daan Schaub, Torsten ; Hermenegildo, Manuel V

CW Reports, 2010, Vol.7, p.74-83

Leuven, Belgium: Department of Computer Science, K.U.Leuven

Texto completo disponível

Citações Citado por
8
Dedicated tabling for a probabilistic setting
Dedicated tabling for a probabilistic setting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dedicated tabling for a probabilistic setting

Mantadelis, Theofrastos ; Janssens, Gerda Schaub, Torsten ; Hermenegildo, Manuel

Technical Communications of the 26th International Conference on Logic Programming, 2010, Vol.7, p.124-133

Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Texto completo disponível

Citações Citado por
9
Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization

Fierens, Daan Schaub, T ; Hermenegildo, M

Technical Communications of 26th International Conference on Logic Programming (ICLP), 2010, Vol.7, p.74-83

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Texto completo disponível

Citações Citado por
10
A Better Logical Semantics for Prolog
A Better Logical Semantics for Prolog
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Better Logical Semantics for Prolog

Denecker, Marc ; Warren, David Scott Eiter, Thomas ; Kowalski, Robert A ; Hermenegildo, Manuel V ; Dahl, Veronica ; Warren, David Scott ; Rossi, Francesca

Lecture Notes in Computer Science, 2023, Vol.13900, p.82-92

Springer

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (5)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (7)
  2. Reports  (1)
  3. Artigos  (1)
  4. Book Chapters  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1994  (1)
  2. 1994Até1994  (2)
  3. 1995Até2001  (1)
  4. 2002Até2008  (3)
  5. Após 2008  (4)
  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.