Login / Signup
Computability logic: Giving Caesar what belongs to Caesar.
Giorgi Japaridze
Published in:
CoRR (2019)
Keyphrases
</>
evolutionary algorithm
real time
database
logic programming
multi valued
logical framework
neural network
real world
genetic algorithm
search algorithm
belief revision
modal logic
abductive reasoning
deontic logic
logic synthesis
deductive reasoning