Symmetry in Polyadic Inductive Logic.
Jeff B. ParisAlena VencovskáPublished in: J. Log. Lang. Inf. (2012)
Keyphrases
- deductive reasoning
- inductive learning
- machine learning
- knowledge representation
- functional programs
- case study
- logic programming
- symmetry detection
- classical logic
- automated reasoning
- multi valued
- real time
- predicate logic
- digital circuits
- computational properties
- inductive inference
- modal logic
- inductive logic programming
- rotationally symmetric
- linear logic
- asynchronous circuits
- perspective images
- symmetry breaking
- concept learning
- constraint satisfaction problems
- information systems
- databases