#### Filter Results:

- Full text PDF available (61)

#### Publication Year

1967

2016

- This year (0)
- Last 5 years (6)
- Last 10 years (28)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf
- J. ACM
- 1991

A general logic program (abbreviated to \program" hereafter) is a set of rules that have both positive and negative subgoals. It is common to view a deductive database as a general logic program… (More)

- Allen Van Gelder
- J. Comput. Syst. Sci.
- 1993

- Jane Wilhelms, Allen Van Gelder
- ACM Trans. Graph.
- 1992

The large size of many volume data sets often prevents visualization algorithms from providing interactive rendering. The use of hierarchical data structures can ameliorate this problem by storing… (More)

- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf
- PODS
- 1988

A general logic program (abbreviated to “program” hereafter) is a set of rules that have both positive and negative subgoals. It is common to view a deductive database as a general logic program… (More)

- Allen Van Gelder
- SLP
- 1986

D A general logic program is a set of rules that have both positive and negative subgoals. We define negation in general logic programs as finite failure, but we limit proof attempts to tight… (More)

- Allen Van Gelder
- J. Graphics, GPU, & Game Tools
- 1998

Spring meshes have been used to model elastic material in computer graphics, with skin, textiles, and soft tissue being typical applications. A spring mesh is a system of vertices and edges, possibly… (More)

- Allen Van Gelder, Kwansik Kim
- VVS
- 1996

A new and easy-to-implement method for direct volume rendering that uses 3D texture maps for acceleration, and incorporates directional lighting, is described. The implementation, called Voltx,… (More)

- Jane Wilhelms, Allen Van Gelder
- SIGGRAPH
- 1997

We describe an improved, anatomically based approach to modeling and animating animals. Underlying muscles, bones, and generalized tissue are modeled as triangle meshes or ellipsoids. Muscles are… (More)

- Allen Van Gelder
- ISAIM
- 2008

The importance of producing a certi cate of unsatis ability is increasingly recognized for high performance propositional satis ability solvers. The leading solvers develop a con ict graph as the… (More)

- John V. Franco, Allen Van Gelder
- Discrete Applied Mathematics
- 2003

The scope of certain well-studied polynomial-time solvable classes of Satis ability is investigated relative to a polynomial-time solvable class consisting of what we call matched formulas. The class… (More)