Logic between Expressivity and Complexity.

Johan van Benthem

Published in: IJCAR (2010)

Keyphrases

computational properties
space complexity
worst case
modal logic
classical logic
automated reasoning
computational complexity
case study
decision problems
logic programs
epistemic logic
inference rules
logic programming
database
multiscale
database systems
artificial intelligence
databases
data sets