On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.
Walter CarnielliAbilio RodriguesPublished in: Log. J. IGPL (2021)
Keyphrases
- classical logic
- valued logic
- logic programming
- linear logic
- knowledge representation
- epistemic logic
- theorem prover
- fuzzy set theory
- inference rules
- modal logic
- possibilistic logic
- fuzzy numbers
- ontological framework
- natural deduction
- interval valued
- logical framework
- domain ontology
- conceptual modeling
- data sets
- ontological engineering
- ontology development
- multiple interpretations
- computation tree logic
- possibility theory
- group decision making
- belief change
- belief revision
- semantic web
- fuzzy sets
- domain specific
- fuzzy logic
- data mining
- neural network