Keyphrases
- truth values
- logic programming
- modal logic
- defeasible logic
- multi valued
- asynchronous circuits
- nonmonotonic logics
- logical framework
- valued logic
- databases
- dynamic logic
- modal operators
- digital circuits
- set theory
- computational properties
- automated reasoning
- relational databases
- multi agent systems
- data structure
- bayesian networks
- image sequences
- website
- information systems