| Publication | Date of Publication | Type |
|---|
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Building Information Modeling Using Constraint Logic Programming
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Modeling and reasoning in event calculus using goal-directed constraint answer set programming
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Modeling and reasoning in event calculus using goal-directed constraint answer set programming
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
| scientific article; zbMATH DE number 7455706 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455706 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
Description, implementation, and evaluation of a generic design for tabled CLP
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Constraint answer set programming without grounding
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Description and optimization of abstract machines in a dialect of Prolog
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A sharing-based approach to supporting adaptation in service compositions
Computing | 2015-01-26 | Paper |
Lightweight compilation of (C)LP to JavaScript
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
An overview of Ciao and its design philosophy
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
Parallel backtracking with answer memoing for independent and-parallelism
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Swapping evaluation: a memory-scalable solution for answer-on-demand tabling
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
Logic Programming | 2009-01-22 | Paper |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation
Logic Programming | 2008-03-11 | Paper |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
| scientific article; zbMATH DE number 67984 (Why is no real title available?) | 1992-09-27 | Paper |
