Titlebook: Logic Programming; 18th International C Peter J. Stuckey Conference proceedings 2002 Springer-Verlag Berlin Heidelberg 2002 computational l

賭博

頂點(diǎn)

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints such a model checker by combining constraint processing and tabulation. But efficiency and practicality of such a model checker were not adequately addressed. In this paper we describe XMC/dbm, an efficient model checker for real-time systems using tabling. Performance gains in XMC/dbmdirectly aris

使苦惱

Constraint-Based Infinite Model Checking and Tabulation for Stratified CLPward analysis for infinite-state systems that goes beyond safety properties. Namely, we take the restriction of the .-calculus to least-fixpoint formulas where negation is applied to closed subformulas only. We characterize these properties as perfect models of constraint logic programs, and we pres

DEFER

招惹

Propagation Completeness of Reactive Constraintsconstraints that are implemented through constraint propagation. The notion of propagation completeness is introduced to capture timeliness of constraint propagation. A generalized form of arc-consistency is formulated which unifies many local consistency conditions in the literature. We show that p

GROUP

On Enabling the WAM with Region Supportxplicit allocation and deallocation instructions, where lifetimes of memory objects are grouped together in .. This paper investigates how to adapt the runtime part of region-based memory management to the WAM setting. We present additions to the memory architecture and instruction set of the WAM th

良心

莎草

STEER

Logical Algorithmspropriate for the study of the running time of algorithms because there has not been a clear and precise model of the run time of a logic program. We present a logic programming model of computation appropriate for the study of the run time of a wide variety of algorithms.

irreparable

Logical Loops loop. This is a shorthand notation for the most commonly used recursive control structure: the iteration or tail recursion. We argue that this enhancement fits well with the existing language concepts, enhances productivity and maintainability, and helps newcomers to the language by providing conce