ICLP 1992 | Sciweavers

23

ICLP
1992
Springer

107views Automated Reasoning» more ICLP 1992»

13 years 11 months ago

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

claim paper

Read More »

20

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

13 years 11 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

18

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

13 years 11 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

20

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

13 years 11 months ago

Download gpd.sip.ucm.es

Herbert Kuchen, Francisco Javier López-Frag...

claim paper

Read More »

19

click to vote

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

13 years 11 months ago

Download reference.kfupm.edu.sa

David B. Kemp, Peter J. Stuckey, Divesh Srivastava

claim paper

Read More »

21

click to vote

ICLP
1992
Springer

88views Automated Reasoning» more ICLP 1992»

Weighted Decision Trees

13 years 11 months ago

Download reference.kfupm.edu.sa

: 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

claim paper

Read More »

14

click to vote

ICLP
1992
Springer

76views Automated Reasoning» more ICLP 1992»

Multistage Indexing Algorithms for Speeding Prolog Execution

13 years 11 months ago

Download www.cs.ubc.ca

Ta Chen, I. V. Ramakrishnan, R. Ramesh

claim paper

Read More »

25

click to vote

ICLP
1992
Springer

117views Automated Reasoning» more ICLP 1992»

A Declarative View of Inheritance in Logic Programming

13 years 11 months ago

Download www.dsi.unive.it

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

claim paper

Read More »

18

click to vote

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

13 years 11 months ago

Download www.cs.arizona.edu

Peter A. Bigot, Saumya K. Debray, Kim Marriott

claim paper