Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.
Amílcar SernadasCristina SernadasJosé Luiz FiadeiroPublished in: ADT (1986)
Keyphrases
- knowledge representation
- logic programming
- higher order
- automated reasoning
- algebraic structure
- artificial intelligence
- knowledge base
- genetic algorithm
- classical logic
- natural language processing
- semantic web
- hierarchical structure
- knowledge acquisition
- commonsense reasoning
- theorem proving
- answer set programming
- neural network
- expert systems
- case study
- machine learning