search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

A Complexity Question in Justification Logic.

Antonis Achilleos

Published in: WoLLIC (2011)

Keyphrases

computational cost
worst case
neural network
databases
multiscale
computational complexity
classical logic
multi valued
proof theory
asynchronous circuits
epistemic logic
modal logic
logic programming
knowledge representation
image sequences
machine learning
real world