Keyphrases
- logic programming
- modal logic
- predicate logic
- decision making
- multi valued
- sound and complete axiomatization
- proof theory
- asynchronous circuits
- formal theory
- classical logic
- probabilistic logic
- machine learning
- automated reasoning
- knowledge representation
- multi agent
- computational properties
- defeasible logic
- information systems
- abductive reasoning
- neural network
- databases
- real time