Keyphrases
- finite state
- classical logic
- algebraic structure
- computer algebra
- multi valued
- automated reasoning
- databases
- modal logic
- neural network
- higher order
- logic programming
- multi agent
- decision trees
- predicate logic
- genetic algorithm
- computational properties
- mathematical theory
- real time
- expert systems
- asynchronous circuits
- epistemic logic
- logical framework
- learning algorithm
- information systems
- answer set programming
- markov decision processes