Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic.

Makoto Tatsuta Quang Loc Le Wei-Ngan Chin

Published in: APLAS (2016)

Keyphrases

presburger arithmetic
algebraic structure
quantifier elimination
decision making
modal logic
decision procedures
machine learning
automated reasoning
logic programming
knowledge representation
decision makers
inductive logic programming
decision theory
optimal solution