Keyphrases
- logic programming
- proof theory
- fuzzy sets
- fuzzy logic
- domain specific
- dynamic logic
- propositional dynamic logic
- nonmonotonic logics
- epistemic logic
- valued logic
- classical logic
- sound and complete axiomatization
- sound and complete with respect
- autoepistemic logic
- logical framework
- proof theoretic
- computational properties
- fuzzy set theory
- conceptual model
- formal language
- fuzzy rules
- logical formulas
- logical rules
- operational semantics
- action theories
- t norm
- reasoning about actions
- conditional logic
- defeasible logic
- active rules
- fuzzy numbers
- rule base
- fuzzy clustering
- modal logic
- rough sets