RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Carro Liñares, Manuel manuel.carro@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling

  • Chico De Guzm'an, Pablo
  • Carro, Manuel
  • Warren, David S.;

Theory And Practice Of Logic Programming (p. 401-416) - 1/1/2010

10.1017/s1471068410000189 Ver en origen

  • ISSN 14710684

Practical Aspects of Declarative Languages: Preface

  • Carro Liñares M
  • Peña Marí R

Lecture Notes In Computer Science - 1/1/2010

  • ISSN 03029743
  • iMarina

A Coding Rule Conformance Checker Integrated into GCC

  • ÁLVARO POLO
  • Fredlund, Lars-Ake
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL
  • CARRO LIÑARES, MANUEL
  • MARIÑO CARBALLO, JULIO

Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009

10.1016/j.entcs.2009.07.065 Ver en origen

  • ISSN 03044238

Towards a high-level implementation of flexible parallelism primitives for symbolic languages

  • Amadeo Casas
  • CARRO LIÑARES, MANUEL
  • HERMENEGILDO SALINAS, MANUEL DE

Pensee (p. 93-94) - 14/12/2007

10.1145/1278177.1278193 Ver en origen

  • ISSN 00314773

Saldando cuentas (CUPCAM, problema C, solución)

  • Manuel Carro Liñares
  • Manuel Freire Morán

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2007

  • ISSN 02112124
  • iMarina

Saldando cuentas (CUPCAM 2006, problema C, enunciado)

  • Manuel Carro Liñares
  • Manuel Freire Morán

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2007

  • ISSN 02112124
  • iMarina

Using combined static analysis and profiling for logic program execution time estimation

  • Mera, Edison
  • Lopez-Garcia, Pedro
  • Puebla, German
  • Carro, Manuel
  • Hermenegildo, Manuel;

Lecture Notes In Computer Science (p. 431-432) - 1/1/2006

10.1007/11799573_36 Ver en origen

  • ISSN 03029743

Subexpresiones (CUPCAM 2005, problema H, solución)

  • Angel Herranz Nieva, Manuel Carro Liñares

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006

  • ISSN 02112124
  • iMarina

Subexpresiones (CUPCAM 2005, problema H, enunciado)

  • Manuel Carro Liñares, Angel Herranz Nieva

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006

  • ISSN 02112124
  • iMarina

Programas equivalentes (CUPCAM 2005, problema E, solución)

  • Manuel Carro Liñares
  • Manuel Freire Morán

Novática: Revista De La Asociación De Técnicos De Informática - 1/1/2006

  • ISSN 02112124
  • iMarina

Este/a investigador/a no tiene libros.

Types, Modes and so Much More – The Prolog Way

  • Hermenegildo MV
  • Morales JF
  • Lopez-Garcia P
  • Carro M

Lecture Notes In Computer Science (p. 23-37) - 1/1/2023

10.1007/978-3-031-35254-6_2 Ver en origen

  • ISSN 03029743

Prolog: Past, Present, and Future

  • Gupta G
  • Salazar E
  • Shakerin F
  • Arias J
  • Varanasi SC
  • Basu K
  • Wang H
  • Li F
  • Erbatur S
  • Padalkar P
  • Rajasekharan A
  • Zeng Y
  • Carro M
... Ver más Contraer

Lecture Notes In Computer Science (p. 48-61) - 1/1/2023

10.1007/978-3-031-35254-6_4 Ver en origen

  • ISSN 03029743

Internet Abuse: Emerging Trends and Lingering Questions

  • ;

Psychological Aspects Of Cyberspace: Theory, Research, Applications (p. 32-69) - 1/1/2008

10.1017/cbo9780511813740 Ver en origen

An s(CASP) In-Browser Playground based on Ciao Prolog

  • García-Pradales G
  • Morales JF
  • Hermenegildo M
  • Arias J
  • Carro M

Ceur Workshop Proceedings - 1/1/2022

  • ISSN 16130073
  • iMarina

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming

  • Arias, J
  • Carro, M
  • Salazar, E
  • Gupta, G

Lecture Notes In Computer Science (p. 117-134) - 1/1/2022

10.1007/978-3-030-94479-7_8 Ver en origen

  • ISSN 03029743

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

  • Arias J
  • Chen Z
  • Carro M
  • Gupta G

Electronic Proceedings In Theoretical Computer Science (p. 166-168) - 1/1/2022

10.4204/eptcs.364.24 Ver en origen

  • ISSN 14710684

A short tutorial on s(CASP), a goal-directed execution of constraint answer set programs

  • Arias J
  • Gupta G
  • Carro M

Ceur Workshop Proceedings - 1/1/2021

  • ISSN 16130073
  • iMarina

Constraint Answer Set Program- ming without Grounding and its Applications

  • Arias J
  • Carro M
  • Chen Z
  • Gupta G

Proceedings Of The 3rd Int?L. Workshop On The Resurgence Of Datalog In Academia And Industry (Datalog 2.0) (p. 22-26) - 4/6/2019

  • ISSN 16130073
  • iMarina

Incremental evaluation of lattice-based aggregates in logic programming using modular TCLP

  • Arias J
  • Carro M

Lecture Notes In Computer Science (p. 98-114) - 1/1/2019

10.1007/978-3-030-05998-9_7 Ver en origen

  • ISSN 03029743

Vergleich und Kombination von Techniken des Predictive Business Process Monitoring

  • Metzger A
  • Leitner P
  • Ivanovic D
  • Schmieders E
  • Franklin R
  • Carro M
  • Dustdar S
  • Pohl K
... Ver más Contraer

Lecture Notes In Informatics (Lni), Proceedings - Series Of The Gesellschaft Fur Informatik (Gi) (p. 79-80) - 1/1/2017

  • ISSN 16175468
  • iMarina

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

  • ARIAS HERRERO, JOAQUIN
  • CARRO LIÑARES, 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 Ver en origen

Program transformations in the POLCA project

  • Kuper, Jan
  • Schubert, Lutz
  • Kempf, Kilian
  • Glass, Colin
  • Bonilla, Daniel Rubio
  • Carro, Manuel;

Proceedings Of The 2016 Design, Automation And Test In Europe Conference And Exhibition, Date 2016 (p. 882-887) - 25/4/2016

  • ISSN 15301591
  • iMarina

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

  • Salvador Tamarit
  • Guillermo Vigueras
  • CARRO LIÑARES, MANUEL
  • MARIÑO CARBALLO, JULIO

Proceedings Of The First Workshop On Program Transformation For Programmability In Heterogeneous Architectures (p. 1-11) - 12/3/2016

  • iMarina

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

ESTUDIO SOBRE LA APLICACIÓN DE PROGRAMACIÓN LÓGICA CON RESTRICCIONES Y ANSWER SET PROGRAMMING CON RESTRICCIONES PARA MODELIZAR Y RAZONAR SOBRE MODELOS ARQUITECTÓNICOS.

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 18-04-2022 - 31-12-2022

Tipo: Interno

  • iMarina

CONVENIO ESPECÍFICO DE COLABORACIÓN ENTRE LA FUNDACIÓN IMDEA SOFTWARE Y LA UNIVERSIDAD POLITÉCNICA DE MADRID PARA LA ADSCRIPCIÓN TEMPORAL DE D. MANUEL CARRO LIÑARES A LA CITADA FUNDACIÓN

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-01-2022 - 31-12-2022

Tipo: Interno

  • iMarina

EXTENSIONES Y MEJORAS DE SISTEMAS DE EVENT CALCULUS UTILIZANDO PROGRAMACIÓN BASADA EN LÓGICAS NO MONÓTONAS

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-07-2021 - 01-12-2021

Tipo: Interno

  • iMarina

IMPLEMENTACION DE EVENT CALCULUS USANDO ANSWER SET PROGRAMING CON RESTRICCIONES

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-09-2020 - 31-12-2020

Tipo: Interno

  • iMarina

ESTUDIO DE LA VIABILIDAD DEL ANÁLISIS DE PROGRAMAS MEDIANTE INTERPRETACIÓN ABSTRACTA UTILIZANDO LENGUAJES LÓGICOS CON TABULACIÓN COMO MEDIO DE IMPLEMENTACIÓN.

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 10-09-2019 - 15-11-2019

Tipo: Interno

  • iMarina

Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis

  • BUESO DE BARRIO, LUIS EDUARDO (Participante)
  • BALLESTEROS GONZALEZ, IGNACIO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • Benac Earle, Clara (Participante)
  • ZANARDINI, DAMIANO (Participante)
... Ver más Contraer

Ejecución: 01-01-2019 - 30-04-2023

Tipo: Regional

Importe financiado: 74100,85 Euros.

  • iMarina

LENGUAJES PARA RAZONAMIENTO Y REPRESENTACION DE CONOCIMIENTO

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 20-12-2018 - 01-04-2020

Tipo: Interno

  • iMarina

INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-06-2017 - 01-04-2020

Tipo: Interno

  • iMarina

DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 01-06-2017 - 31-12-2017

Tipo: Interno

  • iMarina

CONSULTORÍA Y ASISTENCIA EN EL DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTÍICA DE LA FUNDACIÓN IMDEA SOFTWARE

  • CARRO LIÑARES, MANUEL (Investigador principal (IP))

Ejecución: 16-05-2017 - 01-04-2020

Tipo: Interno

  • iMarina

Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints

  • Manuel Carro Liñares (Director) Doctorando: Arias Herrero, Joaquín

1/12/2019

  • iMarina

Analysis of Service-Oriented Computing Systems.

  • Manuel Carro Liñares (Director) Doctorando: Dragan Ivanovic

1/1/2013

  • iMarina

Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos.

  • CARRO LIÑARES, MANUEL (Director)
  • HERMENEGILDO SALINAS, MANUEL DE (Director) Doctorando: CHICO DE GUZMAN HUERTA, Pablo

1/1/2012

  • iMarina

Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs

  • Manuel Carro Liñares (Director)
  • Manuel de Hermenegildo Salinas (Director) Doctorando: Pablo Chico de Guzmán Huerta

1/1/2012

  • iMarina

Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica

  • CARRO LIÑARES, MANUEL (Director)
  • HERMENEGILDO SALINAS, MANUEL DE (Director) Doctorando: Morales Caballero, José Francisco

1/3/2010

  • iMarina

Técnicas avanzadas de compilación para programación lógica.

  • Manuel Carro Liñares (Director)
  • Manuel de Hermenegildo Salinas (Director) Doctorando: José Francisco Morales Caballero

1/1/2010

  • iMarina

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 5/03/24 22:15