Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi.

Daniel Hausmann Lutz Schröder

Published in: CoRR (2022)

Keyphrases

floating point
sequent calculi
spatial relations
arithmetic operations
database
neural network
artificial intelligence
computer vision
information systems
logic programming
qualitative spatial reasoning
qualitative spatial and temporal reasoning