34 Result(s)
within
Conference Paper
Manuel Carro
-
Chapter and Conference Paper
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CA...
-
Chapter and Conference Paper
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a so...
-
Chapter and Conference Paper
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
Aggregates are used to compute single pieces of information from separate data items, such as records in a database or answers to a query to a logic program. The maximum and minimum are well-known examples of ...
-
Chapter and Conference Paper
Machine Learning-Driven Automatic Program Transformation to Increase Performance in Heterogeneous Architectures
We present a program transformation approach to convert procedural code into functionally equivalent code adapted to a given platform. Our framework is based on the application of guarded transformation rules ...
-
Chapter and Conference Paper
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where arc...
-
Chapter and Conference Paper
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models
The quality of service (QoS) of complex software systems, built by composing many components, is essential to determine their usability. Since the QoS of each component usually has some degree of uncertainty, ...
-
Chapter and Conference Paper
Transforming Service Compositions into Cloud-Friendly Actor Networks
While conversion of atomic and back-end services from centralized servers to cloud platforms has been largely successful, the composition layer, which gives the service-oriented architecture its flexibility an...
-
Chapter and Conference Paper
Reversible Language Extensions and Their Application in Debugging
A range of methodologies and techniques are available to guide the design and implementation of language extensions and domain-specific languages on top of a base language. A simple yet powerful technique to t...
-
Chapter and Conference Paper
Supporting Pruning in Tabled LP
This paper analyzes issues which appear when supporting pruning operators in tabled LP. A version of the once/1 control predicate tailored for tabled predicates is presented, and an implementation analyzed and ev...
-
Chapter and Conference Paper
A Segment-Swap** Approach for Executing Trapped Computations
We consider the problem of supporting goal-level, independent and-parallelism (IAP) in the presence of non-determinism. IAP is exploited when two or more goals which will not interfere at run time are schedule...
-
Chapter and Conference Paper
A Constraint-Based Approach to Quality Assurance in Service Choreographies
The knowledge about the quality characteristics (QoS) of service compositions is crucial for determining their usability and economic value; the quality of service compositions is usually regulated using Servi...
-
Chapter and Conference Paper
A General Implementation Framework for Tabled CLP
This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementati...
-
Chapter and Conference Paper
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
Service compositions put together loosely-coupled component services to perform more complex, higher level, or cross-organizational tasks in a platform-independent manner. Quality-of-Service (QoS) properties, ...
-
Chapter and Conference Paper
A Soft Constraint-Based Approach to QoS-Aware Service Selection
Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case that available services do not match all r...
-
Chapter and Conference Paper
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for provision. Resource constraints on...
-
Chapter and Conference Paper
Automatic Fragment Identification in Workflows Based on Sharing Analysis
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. Fragmentation emphasizes the ...
-
Chapter and Conference Paper
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically inferred computational cost fu...
-
Chapter and Conference Paper
A Tabling Implementation Based on Variables with Multiple Bindings
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known implementation approaches for th...
-
Chapter and Conference Paper
Modeling Concurrent Systems with Shared Resources
Testing is the more widely used approach to (partial) system validation in industry. The introduction of concurrency makes exhaustive testing extremely costly or just impossible, requiring shifting to formal v...
-
Chapter and Conference Paper
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
The advantages of tabled evaluation regarding program termination and reduction of complexity are well known —as are the significant implementation, portability, and maintenance efforts that some proposals (es...
