Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Theory and practice of logic programming

Total activitats: 4
ISSN
1471-0684 Obrir en finestra nova
Publicació / Producció
Cambridge : Cambridge University Press, 2001-

Producció científica

1 a 4 de 4 resultats
 
  • The pragmatic proof: hypermedia API composition and execution  Accés obert

     Verborgh, R.; Arndt, D.; Van Hoecke, S.; De Roo, J.; Mels, G.; Steiner, T.; Gabarro, J.
    Theory and practice of logic programming
    Vol. 17, num. 1, p. 1-48
    DOI: 10.1017/S1471068416000016
    Data de publicació: 2017-01-01
    Article en revista
    Accés al text complet
  • Semantics for possibilistic disjunctive programs

     NIEVES, J. C.; Osorio, M.; Cortes, U.
    Theory and practice of logic programming
    Vol. 13, num. 1, p. 33-70
    DOI: 10.1017/S1471068411000408
    Data de publicació: 2013-01
    Article en revista
  • Preferred extensions as stable models

     Nieves, J.; Cortes, U.; Osorio, M.
    Theory and practice of logic programming
    Vol. 8, num. 4, p. 527-543
    DOI: 10.1017/S1471068408003359
    Data de publicació: 2008-07
    Article en revista
  • On the abductive or deductive nature of database schema validation and update processing problems

     Teniente, E.; Urpi, T.
    Theory and practice of logic programming
    Vol. 3, num. 3, p. 287-327
    Data de publicació: 2003-05
    Article en revista