A Contextual-Logic Extension of TOSCANA.

Peter W. Eklund Bernd Groh Gerd Stumme Rudolf Wille

Published in: ICCS (2000)

Keyphrases

contextual information
proof theoretic
logic programming
automated reasoning
linear time temporal logic
database
real time
machine learning
modal logic
context sensitive
context dependent
computational properties
predicate logic
data sets
information retrieval
high level