Keyphrases
- domain knowledge
- modal logic
- automated reasoning
- predicate logic
- multi valued
- classical logic
- deductive reasoning
- asynchronous circuits
- modal operators
- knowledge management
- logic programming
- knowledge base
- intelligent design
- probabilistic knowledge
- defeasible logic
- computational properties
- probabilistic logic
- temporal logic
- knowledge representation
- knowledge acquisition
- truth values
- epistemic logic
- knowledge discovery
- prior knowledge
- expert systems
- data mining
- dynamic epistemic logic