Observing interventions: a logic for thinking about experiments.

Fausto Barbero Katrin Schulz Fernando R. Velázquez-Quesada Kaibo Xie

Published in: J. Log. Comput. (2023)

Keyphrases

logic programming
classical logic
predicate logic
neural network
computational properties
proof theory
real world
artificial intelligence
natural language
modal logic