πHyFlow: formalism, semantics, and applications.
Fernando BarrosPublished in: Discret. Event Dyn. Syst. (2024)
Keyphrases
- logical language
- conceptual graphs
- formal semantics
- operational semantics
- knowledge representation
- conceptual model
- logical framework
- formal language
- action language
- computational properties
- modal operators
- closed world assumption
- abstract argumentation frameworks
- argumentation frameworks
- semantic representation
- reasoning services
- argumentation semantics
- highly expressive
- semantic information
- high level
- database systems
- description logics
- process algebra
- reasoning mechanisms
- theoretical framework
- modal logic
- model theoretic
- nonmonotonic logics
- transformation rules
- situation calculus
- reasoning tasks