Keyphrases
- information systems
- logic programming
- neural network
- information technology
- software engineering
- predicate logic
- defeasible logic
- computational properties
- multi valued
- asynchronous circuits
- data sets
- formal theory
- digital circuits
- logical framework
- automated reasoning
- modal logic
- business processes
- source code
- programming language
- artificial intelligence
- genetic algorithm