skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: 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
Abstract gringo
Abstract gringo
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract gringo

GEBSER, MARTIN ; HARRISON, AMELIA ; KAMINSKI, ROLAND ; LIFSCHITZ, VLADIMIR ; SCHAUB, TORSTEN

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

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
2
A Survey of the Proof-Theoretic Foundations of Logic Programming
A Survey of the Proof-Theoretic Foundations of Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of the Proof-Theoretic Foundations of Logic Programming

MILLER, DALE

Theory and practice of logic programming, 2022-11, Vol.22 (6), p.859-904 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

Citações Citado por
3
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Material Type:
Artigo 		Adicionar ao Meu Espaço

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

CABALAR, PEDRO ; FANDINNO, JORGE ; FARIÑAS DEL CERRO, LUIS ; PEARCE, DAVID

Theory and practice of logic programming, 2018-07, Vol.18 (3-4), p.390-405 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
4
Hybrid metabolic network completion
Hybrid metabolic network completion
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid metabolic network completion

FRIOUX, CLÉMENCE ; SCHAUB, TORSTEN ; SCHELLHORN, SEBASTIAN ; SIEGEL, ANNE ; WANKO, PHILIPP

Theory and practice of logic programming, 2019-01, Vol.19 (1), p.83-108 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
5
Certified Graph View Maintenance with Regular Datalog
Certified Graph View Maintenance with Regular Datalog
Material Type:
Artigo 		Adicionar ao Meu Espaço

Certified Graph View Maintenance with Regular Datalog

BONIFATI, ANGELA ; DUMBRAVA, STEFANIA ; ARIAS, EMILIO JESÚS GALLEGO

Theory and practice of logic programming, 2018-07, Vol.18 (3-4), p.372-389 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
6
Abstract interpretation of temporal concurrent constraint programs
Abstract interpretation of temporal concurrent constraint programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract interpretation of temporal concurrent constraint programs

FALASCHI, MORENO ; OLARTE, CARLOS ; PALAMIDESSI, CATUSCIA

Theory and practice of logic programming, 2015-05, Vol.15 (3), p.312-357 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
7
Combining Answer Set Programs for Adaptive and Reactive Reasoning
Combining Answer Set Programs for Adaptive and Reactive Reasoning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combining Answer Set Programs for Adaptive and Reactive Reasoning

Ribeiro, Tony ; Inoue, Katsumi ; Bourgne, Gauvain

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

Cambridge University Press (CUP)

Texto completo disponível

Citações Citado por
8
Theory of Finite or Infinite Trees Revisited
Theory of Finite or Infinite Trees Revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theory of Finite or Infinite Trees Revisited

Djelloul, Khalil ; Dao, Thi-Bich-Hanh ; Fruehwirth, Thom

Theory and practice of logic programming, 2008, p.8(4):1-60 [Periódico revisado por pares]

Cambridge University Press (CUP)

Texto completo disponível

Citações Citado por
9
Decomposable theories
Decomposable theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decomposable theories

DJELLOUL, KHALIL

Theory and practice of logic programming, 2007-09, Vol.7 (5), p.583-632 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
10
Multi-shot ASP solving with clingo
Multi-shot ASP solving with clingo
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multi-shot ASP solving with clingo

GEBSER, MARTIN ; KAMINSKI, ROLAND ; KAUFMANN, BENJAMIN ; SCHAUB, TORSTEN

Theory and practice of logic programming, 2019-01, Vol.19 (1), p.27-82 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.