ICLP 1999 - PDF Preprint Papers

ICLP 1999 International Conference on Logic Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICLP-1999 Paper

click to vote

ICLP
1999
Springer

153views Automated Reasoning» more ICLP 1999»

Logic Programming in Oz with Mozart

14 years 4 months ago

Download www.info.ucl.ac.be

Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support diﬀerent programming paradigms (log...

Peter Van Roy

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	153	Logic Programming in Oz with Mozart	claim
2	147	Event, Property, and Hierarchy in Order-Sorted Logic	claim
3	144	Bounded Nondeterminism of Logic Programs	claim
4	139	Algebra of Logic Programming	claim
5	132	Concurrency in Prolog Using Threads and a Shared Database	claim
6	120	Computing Large and Small Stable Models	claim
7	119	Comparing Trailing and Copying for Constraint Programming	claim
8	117	Binding-time Analysis for Mercury	claim
9	117	Monotonicity in Rule Based Update	claim
10	115	CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms	claim
11	109	Answer Set Planning	claim
12	105	A Linear Tabling Mechanism	claim
13	104	Finding Fair Allocations for the Coalition Problem with Constraints	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers