Logic and the 2-Simplicial Transformer.
James CliftDmitry DorynDaniel MurfetJames WallbridgePublished in: CoRR (2019)
Keyphrases
- fuzzy logic
- fault diagnosis
- power system
- modal logic
- predicate logic
- automated reasoning
- database
- logic programming
- classical logic
- sound and complete axiomatization
- betti numbers
- asynchronous circuits
- digital circuits
- defeasible logic
- multi valued
- probability theory
- information retrieval
- machine learning
- data mining
- real world
- neural network
- databases