Universal logic and computation.

Razvan Diaconescu

Published in: J. Log. Comput. (2017)

Keyphrases

multi valued
logic programming
proof theory
defeasible logic
real time
real world
artificial intelligence
logic programs
modal logic
efficient computation
automated reasoning