ICLP 1992 | Sciweavers

35

ICLP
1992
Springer

107views Automated Reasoning» more ICLP 1992»

14 years 4 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 »

30

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

14 years 4 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

29

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

14 years 4 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

27

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

14 years 4 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

28

click to vote

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

14 years 4 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

29

click to vote

ICLP
1992
Springer

88views Automated Reasoning» more ICLP 1992»

Weighted Decision Trees

14 years 4 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 »

25

click to vote

ICLP
1992
Springer

76views Automated Reasoning» more ICLP 1992»

Multistage Indexing Algorithms for Speeding Prolog Execution

14 years 4 months ago

Download www.cs.ubc.ca

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

claim paper

Read More »

44

click to vote

ICLP
1992
Springer

117views Automated Reasoning» more ICLP 1992»

A Declarative View of Inheritance in Logic Programming

14 years 4 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 »

36

click to vote

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

14 years 4 months ago

Download www.cs.arizona.edu

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

claim paper