High Precision Carry-Look-Ahead Logic for Negation, Absolute Value, and Two's Complement.
Riley JacksonMaxwell PhillipsFiras HassanAhmed AmmarPublished in: ICECS (2023)
Keyphrases
- high precision
- logic programming
- predicate logic
- high recall
- logic programs
- truth values
- classical logic
- achieve high precision
- closed world assumptions
- high reliability
- derivation rules
- multi valued
- fixed point semantics
- modal logic
- high accuracy
- computational properties
- automated reasoning
- compositional semantics
- databases
- horn clauses
- data sets
- probability theory
- set theory
- stable models
- multi agent systems
- declarative semantics
- proof theory
- fixpoint