Alexander Razborov, Flag algebras. Journal of Symbolic Logic, vol. 72 (2007), no. 4, pp. 1239-1282.
James CummingsPublished in: Bull. Symb. Log. (2018)
Keyphrases
- special issue
- ai edam
- relation algebra
- machine intelligence
- signal processing
- boolean algebra
- logic programming
- modal logic
- spatial reasoning
- high level
- symbolic representation
- digital circuits
- clifford algebra
- neural network
- topological spaces
- connectionist models
- formal theory
- defeasible logic
- lecture notes
- information systems
- learning algorithm
- data mining