Mathematical logic,
with especially logics for computer science and artificial intelligence,
including non-classical logics, computational logic, probabilistic logic, nonmonotonic logic, paraconsistent
logic, description logic and logic programming.
Other interest,
with especially computational economy, information management, network management, management software,
strategy and planning of enterprise information and intellligence.