Jeffrey Mark Siskind, David Allen McAllester  Home/Search
Context Related
| mit.edu/pub/screamer/aaai93.ps mit.edu/people/dam/aaai93.ps mit.edu/pub/users/dam/aaai93.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu (more) From: mit.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have implemented a comprehensive constraintbased programming language as an extension to Common Lisp. This constraint package provides a unified framework for solving both numeric and non-numeric systems of constraints using a combination of local propagation techniques including binding propagation, Boolean constraint propagation, generalized forward checking, propagation of bounds, and unification. The backtracking facility of the nondeterministic dialect of Common Lisp used to implement ... (Update)
Context of citations to this paper: More
...to have been no theoretical basis provided for this language. It was developed by David McAllester and Je rey Mark Siskind (see [11]) and was one of the major in uences for this work. The Constrained Lambda Calculus by Luis Mandel is a combination of the untyped lambda...
...is an efficient implementation of a non deterministic Lisp as a fully portable extension of Common Lisp. In the form described in [6] it can be seen as a comprehensive constraint based programming language as an extension of Common Lisp. The Screamer includes the function...
Cited by: More
Constraint Imperative Programming with Higher-Order Functions - Grabmüller (2003) (Correct)
Aucs/tr0202 - Aberdeen Ab Fx (Correct)
Intelligent Development Tool for Constraint - Satisfaction Jfin Parali (Correct)
Similar documents (at the sentence level):
66.1%: Nondeterministic Lisp as a Substrate for Constraint Logic.. - Siskind, McAllester (1993) (Correct)
Active bibliography (related documents): More All
0.4: Screaming Yellow Zonkers - Siskind (1991) (Correct)
0.3: Lifting - McAllester (1992) (Correct)
0.1: Design of a Finite Domain Constraint Programming Library for ML - Henz, Smolka (1999) (Correct)
Similar documents based on text: More All
0.2: The Use of Equality in Deduction and Knowledge Representation - McAllester (1980) (Correct)
0.2: Causal/temporal Connectives: Syntax And Lexicon - Brent (1989) (Correct)
0.2: Lifting Transformations - McAllester, Siskind (1991) (Correct)
Related documents from co-citation: More All
8: Screamer: A portable efficient implementation of nondeterministic Common Lisp - Siskind, McAllester - 1993
8: Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1990
7: Consistency in networks of relations (context) - Mackworth - 1977
BibTeX entry: (Update)
J.M. Siskind and D.A. McAllester. Nondeterministic Lisp as a substrate for constraint logic programming. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 133--138, 1993. http://citeseer.ist.psu.edu/article/siskind93nondeterministic.html More
@inproceedings{ siskind93nondeterministic,
author = "Jeffrey Mark Siskind and David Allen McAllester",
title = "Nondeterministic Lisp as a Substrate for Constraint Logic Programming",
booktitle = "Proceedings of the Eleventh National Conference on Artificial Intelligence",
publisher = "AAAI Press",
address = "Menlo Park, California",
editor = "Richard Fikes and Wendy Lehnert",
year = "1993",
url = "citeseer.ist.psu.edu/article/siskind93nondeterministic.html" }
Citations (may not include all citations):380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
221 Constraint logic programming (context) - Jaffar, Lassez - 1987
186 Constraint satisfaction (context) - Mackworth - 1992
94 Equations and inequations on finite and infinite trees (context) - Colmerauer - 1984
64 Sketchpad: A Man-Machine Graphical Communication System (context) - Southerland - 1963
14 The Definition and Implementation of a Computer Programming .. (context) - Steele - 1980
12 Carnegie-Mellon University (context) - Gosling, PhD - 1983
8 Screamer: a portable efficient implementation of nondetermin.. - Siskind, McAllester - 1993
4 Also available as Stanford Computer Science Department repor.. (context) - Borning, Simulation et al. - 1979
3 the solution of linear algebraic equations using interval ar.. (context) - Hansen - 1968
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ai.mit.edu.html): More
Natural Language Syntax and Semantics - McAllester (1994) (Correct)
Primitive Parallax and Parallax Primitives - Bryson (1995) (Correct)
Statistical Models of Conditioning - Dayan, Long (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC