Differential Refinement Logic.

Sarah M. Loos André Platzer

Published in: LICS (2016)

Keyphrases

modal logic
automated reasoning
defeasible logic
proof theory
expert systems
logic programming
computational properties
set theory
delay insensitive
databases
refinement process
abductive reasoning
formal theory
logic programs
knowledge representation
relational databases
multiscale
neural network