Practical Aspects of Declarative Languages
16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings
Page
%P
-
Chapter and Conference Paper
Classification of Geological Factors in Doubtful Layer of Logging Interpretation and Overseas Case Study
Various geological influencing factors of doubtful layers are analyzed and classified according to the logging data in identifying doubtful layers of oil, gas and water. The genesis of doubtful layers is gener...
-
Article
Model-based test generation using extended symbolic grammars
A novel, model-based test case generation approach for validating reactive systems, especially those supporting richly structured data inputs and/or interactions, is presented. Given an executable system model...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Automatic Grammar-Based Test Generation
In this paper, we present an automatic grammar-based test generation approach which takes a symbolic grammar as input, requires zero control input from users, and produces well-distributed test cases. Our appr...
-
Article
Ecological characteristics of Alhagi sparsifolia Shap. seedling roots under different irrigation treatments
An trench profile method was used to study seasonal variation of root ecological characteristics of Alhagi sparsifolia Shap. seedlings under different irrigation treatments. The results indicated the following: (...
-
Chapter
Symbolic Production Grammars in LSCs Testing
We present LCT SG , an LSC (Live Sequence Chart) consistency testing system, which takes LSCs and symbolic grammars as inputs and performs an automated LSC simulation for consistency...
-
Chapter and Conference Paper
Relaxation on Optimization Predicates
Traditional constraint logic programming (CLP) specifies an optimization problem by using a set of constraints and an objective function. In many applications, optimal solutions may be difficult or impossible ...
-
Chapter and Conference Paper
Mode-Directed Fixed Point Computation
Goal-directed fixed point computation strategies have been widely adopted in the tabled logic programming paradigm. However, there are many situations in which a fixed point contains a large number or even inf...
-
Chapter and Conference Paper
A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals
In this new hybrid model ofnonlinear classifier, unlike the classical linear classifier where the feature attributes influence the classifying attribute independently, the interaction among the influences from...
-
Chapter and Conference Paper
Simplifying Dynamic Programming via Tabling
In the dynamic programming paradigm the value of an optimal solution is recursively defined in terms of optimal solutions to subproblems. Such dynamic programming definitions can be very tricky and error-prone...
-
Chapter and Conference Paper
Online Justification for Tabled Logic Programs
Justification is the process of constructing evidence, in terms of proof, for the truth or falsity of an answer derived by tabled evaluation. The evidence is most easily constructed by post-processing the memo...
-
Chapter and Conference Paper
A New Mode Declaration for Tabled Predicates
A tabled logic programming (TLP) system can be thought of as an engine for efficiently computing fixed points. In a TLP system, a global data structure table is introduced to memorize the answers of any subgoals ...
-
Chapter and Conference Paper
Justification Based on Program Transformation
Justifying the truth value of a goal resulting from query evaluation of a logic program corresponds to providing evidence, in terms of a proof, for this truth. Justification plays a fundamental role in automat...
-
Chapter and Conference Paper
Online Justification for Tabled Logic Programs
Justification is the process of computing an evidence for the truth or falsity of an answer to a query in a logic program. There are two well known approaches for computing the evidence: Post-processing based ...
-
Chapter and Conference Paper
Semantics-Based Filtering: Logic Programming’s Killer App
We present a logic programming based framework for rapidly translating one formal notation \( \mathcal{L}_s \) to an...
-
Chapter and Conference Paper
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives
Tabled logic programming (LP) systems have been applied to elegantly and quickly solving very complex problems (e.g., model checking). However, techniquescurren tly employed for incorporating tabling in an existi...
-
Chapter and Conference Paper
Speculative Beats Conservative Justification
Justifying the truth value of a goal resulting from query evaluation of a logic program corresponds to providing evidence, in terms of a proof, for this truth. In an earlier work we introduced the notion of ju...
