Allen Van Gelder

Overview

Best Publications

• The well-founded semantics for general logic programs

  Allen Van Gelder;Kenneth A. Ross;John S. Schlipf

  2507
  Citations

• Octrees for faster isosurface generation

  Jane Wilhelms;Allen Van Gelder

  903
  Citations

• The Alternating Fixpoint of Logic Programs with Negation

  Unknown

  468
  Citations

• Unfounded sets and well-founded semantics for general logic programs

  Allen Van Gelder;Kenneth Ross;John S. Schlipf

  449
  Citations

• Direct volume rendering with shading via three-dimensional textures

  Allen Van Gelder;Kwansik Kim

  349
  Citations

• Anatomically based modeling

  Jane Wilhelms;Allen Van Gelder

  346
  Citations

• Negation as failure using tight derivations for general logic programs

  A. V. Gelder

  327
  Citations

• A coherent projection approach for direct volume rendering

  Jane Wilhelms;Allen Van Gelder

  322
  Citations

• Topological considerations in isosurface generation

  Allen van Gelder;Jane Wilhelms

  312
  Citations

• Approximate simulation of elastic membranes by triangulated spring meshes

  Allen Van Gelder

  274
  Citations

• Parallel complexity of logical query programs

  Jeffrey D. Ullman;Allen Van Gelder

  222
  Citations

• Design Overview of the NAIL! System

  Katherine A. Morris;Jeffrey D. Ullman;Allen Van Gelder

  179
  Citations

• Efficient tests for top-down termination of logical rules

  Jeffrey D. Ullman;Allen Van Gelder

  172
  Citations

• SYSTEM/U: a database system based on the universal relation assumption

  Henry F. Korth;Gabriel M. Kuper;Joan Feigenbaum;Allen van Gelder

  160
  Citations

• Topological considerations in isosurface generation extended abstract

  Jane Wilhelms;Allen Van Gelder

  155
  Citations

• Multi-dimensional trees for controlled volume rendering and compression

  Jane Wilhelms;Allen Van Gelder

  133
  Citations

• A perspective on certain polynomial-time solvable classes of satisfiability

  John Franco;Allen Van Gelder

  124
  Citations

• Safety and translation of relational calculus

  Allen Van Gelder;Rodney W. Topor

  112
  Citations

• Termination Detection in Logic Programs using Argument Sizes.

  Kirack Sohn;Allen Van Gelder

  109
  Citations

• The alternating fixpoint of logic programs with negation

  Unknown

  101
  Citations

• The well-founded semantics of aggregation

  Allen Van Gelder

  95
  Citations

• Using the TPTP language for writing derivations and finite interpretations

  Geoff Sutcliffe;Stephan Schulz;Koen Claessen;Allen Van Gelder

  93
  Citations

• Another look at graph coloring via propositional satisfiability

  Allen Van Gelder

  92
  Citations

• Fast and easy reach-cone joint limits

  Jane Wilhelms;Allen Van Gelder

  58
  Citations