Search Sciweavers | Sciweavers

8766 search results - page 301 / 1754

» Functional logic programming

127

click to vote

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

15 years 6 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 »

click to vote

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

15 years 6 months ago

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

Voted

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 6 months ago

Download www.cs.sunysb.edu

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

claim paper

Read More »

click to vote

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

15 years 6 months ago

Download tinf2.vub.ac.be

Jean-Marie Jacquet

claim paper

Read More »

105

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 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers