A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge.
Gadi PinkasPriscila M. V. LimaShimon CohenPublished in: ICANN (1) (2012)
Keyphrases
- predicate logic
- machine learning
- knowledge representation and reasoning
- knowledge representation
- knowledge base
- computational linguistics
- knowledge management
- semantic network
- higher level
- dynamic environments
- logical formulas
- temporal logic
- autonomous agents
- knowledge acquisition
- expert systems
- high level
- artificial intelligence
- information retrieval