Login / Signup
Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values.
Howard A. Blair
David W. Jakel
Robert J. Irwin
Angel J. Rivera
Published in:
ISAIM (2008)
Keyphrases
</>
truth values
fixpoint
linearly ordered
continuous domains
discrete space
boolean logic
inference rules
logic programs
continuous variables
multi valued
semantics of logic programs
lattice structure
deductive databases
horn clauses
stable models
user defined
vector field