Applications of Transaction Logic to Knowledge Representation.
Anthony J. BonnerMichael KiferPublished in: ICTL (1994)
Keyphrases
- knowledge representation
- logic programming
- automated reasoning
- knowledge representation formalisms
- commonsense reasoning
- expert systems
- classical logic
- semantic web
- database
- knowledge acquisition
- artificial intelligence
- knowledge base
- predicate logic
- natural language understanding
- answer set programming
- first order logic
- knowledge representation and reasoning
- logical framework
- logic programs
- machine learning
- natural language
- knowledge based systems
- natural language processing
- set theory
- defeasible logic
- probabilistic reasoning
- description logics
- proof theory
- knowledge engineering
- concurrency control
- legal knowledge
- deontic logic
- highly expressive
- representing knowledge
- theorem prover
- digital circuits
- multi valued
- knowledge structures
- inference rules
- distributed databases
- neural network
- databases