2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation.

Published in: Bull. EATCS (2023)

Keyphrases

neural network
multi valued
logical framework
defeasible logic
real world
information retrieval
information systems
clustering algorithm
case study
expert systems
modal logic
parallel computation
selected papers
epistemic logic
deontic logic