Jeffrey Mark Siskind, David Allen McAllester  Home/Search
Context Related
| mit.edu/project/clisp/sour...aaai93b.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/project/clisp/source/s... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have implemented a comprehensive constraint-based 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 Common Lisp used to... (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):
59.5%: Nondeterministic Lisp as a Substrate for Constraint Logic.. - Siskind, McAllester (1993) (Correct)
Active bibliography (related documents): More All
0.6: Lifting - McAllester (1992) (Correct)
0.5: Screaming Yellow Zonkers - Siskind (1991) (Correct)
0.3: Lifting Transformations - McAllester, Siskind (1991) (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: Acquiring Core Meanings of Words, Represented as Jackendoff-Style .. - Siskind (1990) (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/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/siskind93nondeterministic.html" }
Citations (may not include all citations):221 Constraint logic programming (context) - Jaffar, Lassez - 1987
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
186 Constraint satisfaction (context) - Mackworth - 1992
64 Sketchpad: A Man-Machine Graphical Communication System (context) - Southerland - 1963
45 Truth maintenance - McAllester - 1990
14 The Definition and Implementation of a Computer Programming .. (context) - Steele - 1980
12 Carnegie-Mellon University (context) - Gosling, PhD - 1983
7 Constraints---a language for expressing almost-hierarchical .. (context) - Sussman, Steele - 1980
4 Also available as Stanford Computer Science Department repor.. (context) - Borning, Simulation et al. - 1979
3 To appear in the second special issue on Global Optimization (context) - Hansen, Walster et al. - 1991
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://www.mit.edu/afs/sipb.mit.edu/project/clisp/source/screamer/):
Screamer: A Portable Efficient Implementation of.. - Siskind, McAllester (1993) (Correct)
Screaming Yellow Zonkers - Siskind (1991) (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