Keyphrases
- transition systems
- logic programs
- modal logic
- nonmonotonic reasoning
- computer algebra
- development environment
- fixpoint
- deductive databases
- proof procedure
- automated deduction
- information retrieval
- database systems
- sequent calculus
- algebraic structure
- formal language
- nonmonotonic logics
- neural network
- website
- logic programming
- web services
- knowledge representation