• Publications
  • Influence
The well-founded semantics for general logic programs
TLDR
It is shown that the class of programs possessing a total well-founded model properly includes previously studied classes of "stratified" and "locally stratified" programs, and is compared with other proposals in the literature. Expand
The alternating fixpoint of logic programs with negation
  • A. V. Gelder
  • Mathematics, Computer Science
  • PODS '89
  • 29 March 1989
TLDR
It is shown that a system is fixpoint Logic, which permits rule bodies to be first order formulas but requires inductive relations to be positive within them, can be transformed straightforwardly into a normal logic program whose alternating fixpoint partial model corresponds to the least fixpoint of the fixpoint logic system. Expand
Unfounded sets and well-founded semantics for general logic programs
TLDR
It is shown that a program has a unique stable model if it has a well-founded model, in which case they are the same, and the converse is not true. Expand
Computer Algorithms: Introduction to Design and Analysis
TLDR
This edition features an increased emphasis on algorithm design techniques such as divide-and-conquer and greedy algorithms, along with the addition of new topics and exercises. Expand
Approximate Simulation of Elastic Membranes by Triangulated Spring Meshes
  • A. V. Gelder
  • Mathematics, Computer Science
  • J. Graphics, GPU, & Game Tools
  • 1 March 1998
TLDR
It is shown that assigning the same stiffness to all springs fails to simulate a uniform elastic membrane, for equilibrium calculations, and a formula for spring stiffness that provides a more accurate simulation is derived. Expand
Anatomically based modeling
TLDR
An improved, anatomically based approach to modeling and animating animals that allows a non-uniformly sampled skin to be extracted, maintaining more details at the head and extremities. Expand
Direct volume rendering with shading via three-dimensional textures
TLDR
A new and easy-to-implement method for direct volume rendering that uses 3D texture maps for acceleration, and incorporates directional lighting, is described, and compares it to the shear-warp factorization approach. Expand
Octrees for faster isosurface generation
TLDR
A new space-efficient design is introduced for octree representations of volumes whose resolutions are not conveniently a power of two; octrees following this design are called branch-on-need octrees (BONOs). Expand
Contributions to the Theory of Practical Quantified Boolean Formula Solving
TLDR
This paper shows an exponential worst case for the clause-learning procedure, and it is shown that variable-elimination resolution is sound for effectively depth-monotonic literals even when they are not at innermost scope. Expand
Verifying RUP Proofs of Propositional Unsatisfiability
TLDR
Progress is reported on developing a practical system for formal veri cation of a more compact certi cate format called RUP (for Reverse Unit Propagation), and experimental comparisons are presented. Expand
...
1
2
3
4
5
...