A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs.
Samir TiganeFayçal GuerroufLaïd KahloulPublished in: Computing (2023)
Keyphrases
- conceptual graphs
- logical language
- operational semantics
- action language
- client server
- computational properties
- conceptual model
- web server
- logical framework
- formal language
- low cost
- logic programming
- abstract argumentation frameworks
- highly expressive
- knowledge representation
- closed world assumption
- reconfigurable architecture
- general purpose
- modal operators
- knowledge representation formalisms
- database
- argumentation frameworks
- tcp ip
- formal semantics
- probabilistic reasoning
- hardware implementation
- formal model