Keyphrases
- nonlinear dynamical systems
- dynamical systems
- predicate logic
- multi valued
- logic programming
- modal logic
- dynamic model
- classical logic
- topological properties
- initial conditions
- nonmonotonic logics
- automated reasoning
- connected components
- image segmentation
- databases
- defeasible logic
- highly nonlinear
- asynchronous circuits
- linear logic
- recurrent networks
- case study