A Computationally Grounded Logic of 'Seeing-to-it-that'.

Andreas Herzig Emiliano Lorini Elise Perrotin

Published in: IJCAI (2022)

Keyphrases

modal logic
logic programming
grounded semantics
defeasible logic
neural network
computational properties
formal language
predicate logic
abductive reasoning
database
artificial intelligence
classical logic
epistemic logic
deontic logic
proof theory
intuitionistic logic