Three-Dimensional Stateful Material Implication Logic.
Gina C. AdamBrian D. HoskinsMirko PreziosoDmitri B. StrukovPublished in: CoRR (2015)
Keyphrases
- three dimensional
- multi view
- modal logic
- probabilistic logic
- logic programming
- virtual reality
- multi valued
- asynchronous circuits
- horn clauses
- automated reasoning
- human body
- sound and complete axiomatization
- proof theory
- digital circuits
- set theory
- classical logic
- d objects
- information systems
- x ray
- range images
- data model
- surface model
- defeasible logic
- publish subscribe
- predicate logic
- image sequences
- surface reconstruction
- logical implication