Keyphrases
- transition systems
- linear combination
- logic programs
- modal logic
- development environment
- sequent calculus
- neural network
- computer algebra
- answer sets
- tableau calculus
- database
- timed automata
- algebraic structure
- automated theorem proving
- relational calculus
- formal language
- nonmonotonic logics
- logic programming
- multi agent systems
- search engine
- data mining
- data sets