Search Sciweavers | Sciweavers

3693 search results - page 186 / 739

» Splitting a Logic Program

188

click to vote

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

15 years 10 months ago

Download www.cs.bath.ac.uk

We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...

Marina De Vos, Dirk Vermeir

claim paper

Read More »

123

click to vote

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

15 years 10 months ago

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

131

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 10 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

156

click to vote

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

15 years 10 months ago

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Pascual Ju...

claim paper

Read More »

129

click to vote

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers