Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICLP
1992
Springer
10 years 8 months ago
Records for Logic Programming
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
Gert Smolka, Ralf Treinen
ICLP
1992
Springer
10 years 8 months ago
Complexity of Computing with Extended Propositional Logic Programs
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...
ICLP
1992
Springer
10 years 8 months ago
The Stable Models of a Predicate Logic Program
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
ICLP
1992
Springer
10 years 8 months ago
Implementing a Lazy Functional Logic Language with Disequality Constraints
Herbert Kuchen, Francisco Javier López-Frag...
ICLP
1992
Springer
10 years 8 months ago
Query Restricted Bottom-Up Evaluation of Normal Logic Programs
David B. Kemp, Peter J. Stuckey, Divesh Srivastava
ICLP
1992
Springer
10 years 8 months ago
Weighted Decision Trees
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
Saumya K. Debray, Sampath Kannan, Mukul Paithane
ICLP
1992
Springer
10 years 8 months ago
Multistage Indexing Algorithms for Speeding Prolog Execution
Ta Chen, I. V. Ramakrishnan, R. Ramesh
ICLP
1992
Springer
10 years 8 months ago
A Declarative View of Inheritance in Logic Programming
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
Michele Bugliesi
ICLP
1992
Springer
10 years 8 months ago
Understanding Finiteness Analysis Using Abstract Interpretation
Peter A. Bigot, Saumya K. Debray, Kim Marriott
books