Search Sciweavers | Sciweavers

8766 search results - page 301 / 1754

» Functional logic programming

197

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 »

134

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 »

136

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 »

134

click to vote

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

15 years 10 months ago

Download tinf2.vub.ac.be

Jean-Marie Jacquet

claim paper

Read More »

151

click to vote

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers