Arias Herrero, Joaquin

Publications

Constraint Answer Set Programming without Grounding

  • Arias, Joaquin
  • Carro, Manuel
  • Salazar, Elmer
  • Marple, Kyle
  • Gupta, Gopal

Theory And Practice Of Logic Programming (p. 337-354) - 1/7/2018

10.1017/s1471068418000285 View at source

  • ISSN 14710684

This researcher has no books.

This researcher has no book chapters.

Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution

  • Arias, Joaquin
  • Carro, Manuel

Proceedings Of The 18th International Symposium On Principles And Practice Of Declarative Programming (Ppdp 2016) (p. 10-23) - 5/9/2016

10.1145/2967973.2968596 View at source

This researcher has no working papers.

This researcher has no technical reports.

CLIP. Next Generation Energy Efficient Secure Software

  • MORALES CABALLERO, José Francisco (Participante)
  • VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
  • Haemmerlé ., Rémy (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • ARIAS HERRERO, JOAQUIN (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Period: 01-10-2014 - 30-09-2018

Type of funding: Regional

Amount of funding: 101949,80 Euros.

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 9/24/25 2:03 AM