Login / Signup

A Hybrid Logic for Reasoning about Knowledge and Topology.

Bernhard Heinemann
Published in: J. Log. Lang. Inf. (2008)
Keyphrases
  • classical logic
  • genetic algorithm
  • hybrid learning
  • multi valued
  • probabilistic logic
  • predicate logic
  • data sets
  • real world
  • multiscale
  • evolutionary algorithm
  • epistemic logic
  • sound and complete axiomatization