Behavioral Algebraization of Logics.

Carlos Caleiro Ricardo Gonçalves Manuel A. Martins

Published in: Stud Logica (2009)

Keyphrases

expressive power
modal logic
real time
case study
data sets
neural network
behavioral model
inference rules
multiscale
artificial intelligence
real world
decision trees
website
multi agent
image processing
information systems
nonmonotonic logics
human decision making
valued logic
proof theoretic