Keyphrases
- classical logic
- logic programming
- computational properties
- symbolic representation
- propositional dynamic logic
- binary decision diagrams
- modal logic
- formal theory
- symbolic description
- high school
- artificial neural networks
- high level
- defeasible logic
- digital circuits
- databases
- connectionist learning
- meeting room
- data sets