There have been many studies on termination analysis of logic programs but little has been done to analyze their non-termination, an even more important task, in our opinion. Non-termination analysis examines program ...
详细信息
We attack an interesting open problem (an efficient algorithm to invert the generalized Cantor N-tupling bijection) and solve it through a sequence of equivalence preserving transformations of logic programs, that tak...
详细信息
We study the multiple specialization of logic programs based on abstract interpretation. This involves in general generating several versions of a program predicate for different uses of such predicate, making use of ...
详细信息
Answer Set programming (ASP) is a well-known AI formalism. Traditional ASP systems, that follow the 'ground&solve' approach, are intrinsically limited by the so-called grounding bottleneck. Basically, the ...
详细信息
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a speciaiiser, has been used with considerable success in partial evaluation of both functional and imperativ...
详细信息
The different semantics that can be assigned to a logic program correspond to different assumptions made concerning the atoms whose logical values cannot be inferred from the rules. Thus, the well founded semantics co...
详细信息
logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic is not well suited to application domains...
详细信息
We propose an approach to placing usage-constraints on RT credentials;issuers specify constraints by designing non-deterministic finite automata. We show by examples that this approach can express constraints of pract...
详细信息
Rules are definitely among the main kinds of knowledge representation in Artificial Intelligence. In recent years, there has been much discussion about production rules and logic programming to understand whether the ...
详细信息
Answer Set programming is a well-known declarative programming paradigm proposed in the area of logic programming and non-monotonic reasoning. Although ASP features a simple syntax and an intuitive semantics, errors a...
详细信息
暂无评论