Keyphrases
- lambda calculus
- logic programming
- multi valued
- fixed point
- classical logic
- digital circuits
- dynamic logic
- information systems
- modal logic
- data sets
- formal language
- probabilistic logic
- learning algorithm
- delay insensitive
- asynchronous circuits
- predicate logic
- set theory
- defeasible logic
- decision trees
- sufficient conditions
- programming language
- natural language
- search algorithm
- multi agent