|
1628
|
Foundations of Logic Programming
– Lloyd
|
|
1131
|
Numerical Recipes in C: The art of scientific computing
– Press, Teukolsky, et al.
- 1992
|
|
1122
|
The Stable Model Semantics for Logic Programming
– GELFOND, LIFSCHITZ
- 1988
|
|
863
|
Consistency in networks of relations
– Mackworth
- 1977
|
|
774
|
Negation as failure
– Clark
- 1978
|
|
710
|
The semantics of constraint logic programs
– Jaffar, Maher, et al.
- 1998
|
|
605
|
The semantics of predicate logic as a programming language
– Emden, Kowalski
- 1976
|
|
550
|
The Art of Prolog
– Sterling, Shapiro
- 1994
|
|
542
|
Towards a Theory of Declarative Knowledge
– Apt, Blair, et al.
- 1988
|
|
407
|
Sketchpad, A Man-Machine Graphical Communication System
– Sutherland
- 1963
|
|
383
|
R.: Ordinal constraint satisfaction
– Freuder, Wallace, et al.
- 2003
|
|
346
|
Constraint satisfaction in Logic programming
– Hentenryck
- 1989
|
|
265
|
The CLP(R) language and system
– Jaffar, Michaylov, et al.
- 1992
|
|
262
|
An introduction to PROLOGIII
– Colmerauer
- 1990
|
|
238
|
The constraint logic programming language CHIP
– Dincbas, Hentenryck, et al.
- 1988
|
|
226
|
On the declarative semantics of deductive databases and logic programs
– Przymusinski
- 1988
|
|
226
|
Semantic foundation of concurrent constraint programming
– Saraswat, Rinard, et al.
- 1991
|
|
205
|
Forward reasoning and dependencydirected backtracking in a system for computer-aided circuit analysis
– Stallman, Sussman
- 1977
|
|
203
|
Reasoning about Change: time and causation from the stand point of arti cial intelligence
– Shoham
- 1986
|
|
181
|
The programming language aspects of ThingLab, a constraint oriented simulation laboratory
– Borning, H
- 1981
|
|
181
|
Garnet: Comprehensive support for graphical, highly-interactive user interfaces
– Myers, Giuse, et al.
- 1990
|
|
177
|
Concurrent Constraint Programming Languages
– Saraswat
- 1993
|
|
161
|
Preferred subtheories : An extended logical framework for default reasoning
– Brewka
- 1989
|
|
143
|
Structural description and inexact matching
– Shapiro, Haralick
- 1981
|
|
136
|
Constraint-Directed Search: A Case Study of Job-Shop Scheduling
– Fox
- 1983
|
|
135
|
Decision analysis and behavioral research
– Winterfeldt, Edwards
- 1986
|
|
131
|
Revisions of Knowledge Systems using Epistemic Entrenchment
– Gärdenfors, Makinson
- 1988
|
|
130
|
M.: Constraint hierarchies
– Borning, Freeman-Benson, et al.
- 1992
|
|
130
|
Logic semantics for a class of committed-choice programs
– Maher
- 1987
|
|
109
|
An incremental constraint solver
– Freeman-Benson, Maloney, et al.
- 1990
|
|
91
|
Non-Standard Analysis
– Robinson
- 1980
|
|
85
|
Constraint logic programming languages
– Cohen
- 1990
|
|
81
|
Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm
– Sannella, Freeman-Benson, et al.
- 1992
|
|
79
|
Methodology and Implementation of a CLP System
– Jaffar, Michaylov
- 1987
|
|
67
|
Constraint hierarchies and logic programming
– Borning, Maher, et al.
- 1989
|
|
62
|
The definition and implementation of a computer programming language based on constraints
– Steele
- 1980
|
|
48
|
Concurrent Prolog: A Progress Report
– Shapiro
- 1986
|
|
42
|
Non-monotonic Temporal Reasoning
– Sandewall, Shoham
- 1995
|
|
40
|
Deriving properties of belief update from theories of action
– Val, A, et al.
- 1993
|
|
39
|
a Constraint-Based Graphics System
– Juno
- 1985
|
|
38
|
The SkyBlue Constraint Solver
– Sannella
- 1993
|
|
36
|
An Object-Oriented Approach to Graphical Interfaces
– Barth
- 1986
|
|
35
|
Constraint Programming Languages
– Leler
- 1988
|
|
31
|
A General Framework for Visualizing Abstract Objects and Relations
– Kamada, Kawai
- 1991
|
|
30
|
Integrating constraints with an object-oriented Language
– Freeman-Benson, A
- 1992
|
|
30
|
A user interface toolkit based on graphical objects and constraints
– Szekely, Myers
- 1988
|
|
29
|
Algebraic Constraints
– Gosling
- 1983
|
|
29
|
On integrity constraints
– Reiter
- 1987
|
|
29
|
A general framework for bidirectional translation between abstract and pictorial data
– MATSUOKA, TAKAHASHI, et al.
- 1992
|
|
29
|
A high level language for specifying pictures
– Wyk
- 1982
|