The logic of imaginary scenarios.

Joan Casas-Roma Antonia Huertas M. Elena Rodríguez

Published in: Log. J. IGPL (2020)

Keyphrases

real world
modal logic
neural network
logic programming
learning scenarios
proof theory
truth values
predicate logic
database
automated reasoning
classical logic
computational properties
set theory
data model
expert systems
decision making
logic synthesis