M. 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

This page was built for person: M. Carro