Keyphrases
- first order logic
- valued logic
- modal logic
- logic programming
- classical logic
- multi valued
- automated reasoning
- case study
- propositional logic
- pattern discovery
- knowledge discovery
- expressive power
- probability theory
- logic programs
- discovery process
- social media
- computational properties
- set theory
- scientific discovery
- predicate logic
- epistemic logic
- dynamic logic
- artificial intelligence
- deductive reasoning