Towards a Logic of Tweeting.
Zuojun XiongThomas ÅgotnesJeremy SeligmanRui ZhuPublished in: LORI (2017)
Keyphrases
- classical logic
- modal logic
- proof theory
- computational properties
- automated reasoning
- predicate logic
- artificial neural networks
- multi valued
- logic programming
- image processing
- information systems
- genetic algorithm
- neural network
- data sets
- sound and complete axiomatization
- formal theory
- linear temporal logic
- digital circuits
- set theory
- defeasible logic
- logical framework
- probabilistic logic
- expressive power
- knowledge base
- computer vision
- search engine
- databases