Time Dimension in the Dolphin Nick Knowledge Base Using Transparent Intensional Logic.
Andrej GardonAles HorákPublished in: TSD (2011)
Keyphrases
- knowledge base
- logic programming
- reasoning engine
- knowledge representation
- classical logic
- knowledge based systems
- description logics
- deductive reasoning
- expert systems
- higher order
- knowledge acquisition
- wordnet
- modal logic
- artificial intelligence
- asynchronous circuits
- multi valued
- inference engine
- semantic network
- rule base
- knowledge sources
- case based reasoning
- domain knowledge
- temporal dimension
- formal representation
- conceptual schema
- digital circuits
- predicate logic
- arbitrary dimension
- co occurrence
- multi dimensional
- programming language