Fluted Logic with Counting.

Ian Pratt-Hartmann

Published in: ICALP (2021)

Keyphrases

modal logic
decision making
multi valued
logic programming
predicate logic
abductive reasoning
proof theory
database
real world
machine learning
case study
probability theory
set theory
delay insensitive
sound and complete axiomatization