Login / Signup
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.
Marianna Girlando
Björn Lellmann
Nicola Olivetti
Gian Luca Pozzato
Quentin Vitalis
Published in:
TABLEAUX (2017)
Keyphrases
</>
expressive power
logical framework
computational properties
sequent calculi
proof theory
reasoning problems
inference rules
knowledge base
causal reasoning
hardware implementation
knowledge representation
neural network
qualitative reasoning
reasoning tasks
spatial reasoning
efficient implementation
expert systems