System Description: inka 5.0 - A Logic Voyager.

Serge Autexier Dieter Hutter Heiko Mantel Axel Schairer

Published in: CADE (1999)

Keyphrases

modal logic
logic programming
classical logic
high level
data structure
expert systems
abductive reasoning
formal language
set theory
multi valued
logic programs
real time
knowledge base
search engine
artificial intelligence
information retrieval
data mining