Search Sciweavers | Sciweavers

662 search results - page 27 / 133

» Logic Programming with Ordered Disjunction

click to vote

ICFP
2000
ACM

123views Programming Languages» more ICFP 2000»

The duality of computation

13 years 12 months ago

Download www.pps.jussieu.fr

We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...

Pierre-Louis Curien, Hugo Herbelin

claim paper

Read More »

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

14 years 28 days ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

click to vote

VLDB
1990
ACM

66views Database» more VLDB 1990»

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

13 years 11 months ago

Download www.cse.iitb.ac.in

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha...

claim paper

Read More »

click to vote

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

13 years 11 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

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers