Practical Aspects of Declarative Languages
12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Chapter
We present in a tutorial way some ideas developed in the context of the Ciao Prolog system that we believe could be useful for the future evolution of Prolog. We concentrate primarily on one area: the use of a...
Chapter
We argue that various extensions proposed for Prolog—tabling, constraints, parallelism, coroutining, etc.—must be integrated seamlessly in a single system. We also discuss how goal-directed predicate answer se...
Chapter and Conference Paper
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
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
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
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
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
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
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...
Article
Data-related properties of the activities involved in a service composition can be used to facilitate several design-time and run-time adaptation tasks, such as service evolution, distributed enactment, and in...
Chapter and Conference Paper
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
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
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
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
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
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, ...
Reference Work Entry In depth
Book and Conference Proceedings
12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Chapter
Correction to: Chapter “Modeling and Negotiating Service Quality” in: M. Papazoglou et al. (Eds.): Service Research Challenges and Solutions for the Future Internet, LNCS 6500, https://doi.org/10...
Chapter and Conference Paper
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...