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

15 years 2 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

15 years 3 months 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

15 years 1 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers