C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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