FO(C): A Knowledge Representation Language of Causality.
Bart BogaertsJoost VennekensMarc DeneckerJan Van den BusschePublished in: CoRR (2014)
Keyphrases
- knowledge representation language
- knowledge representation
- first order logic
- logic programming
- inference engine
- conceptual graphs
- deontic logic
- topic maps
- predicate logic
- knowledge base
- expert systems
- logic programs
- knowledge acquisition
- description logics
- machine learning
- neural network
- knowledge structures
- multimedia
- decision making
- artificial intelligence