Manuel Carro

Available identifiers

zbMath Open carro.manuelMaRDI QIDQ488322

List of research outcomes

Publication	Date of Publication	Type
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming	2023-12-12	Paper
Building Information Modeling Using Constraint Logic Programming	2022-09-30	Paper
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming	2022-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q5020962	2022-01-11	Paper
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP	2021-09-03	Paper
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP	2020-05-04	Paper
Constraint Answer Set Programming without Grounding	2018-12-04	Paper
Description and Optimization of Abstract Machines in a Dialect of Prolog	2017-11-09	Paper
A sharing-based approach to supporting adaptation in service compositions	2015-01-26	Paper
Lightweight compilation of (C)LP to JavaScript	2013-03-13	Paper
An overview of Ciao and its design philosophy	2012-06-25	Paper
Parallel backtracking with answer memoing for independent and-parallelism	2011-08-16	Paper
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling	2010-08-19	Paper
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs	2009-01-22	Paper
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism	2009-01-22	Paper
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy	2008-06-19	Paper
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation	2008-03-11	Paper
Towards Description and Optimization of Abstract Machines in an Extension of Prolog	2007-09-10	Paper
Logic Programming	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4013997	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel Carro