A Logic for Graphs with QoS.
GianLuigi FerrariAlberto Lluch-LafuentePublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- quality of service
- logic programming
- graph theoretic
- web services
- graph theory
- graph matching
- real time
- predicate logic
- logical formulas
- graph structure
- automated reasoning
- ip networks
- modal logic
- weighted graph
- resource management
- web service selection
- knowledge representation
- proof theory
- logical framework
- asynchronous circuits
- deontic logic
- user perceived
- traffic engineering
- service selection
- classical logic
- multi valued
- spanning tree
- logic programs
- knowledge base