Introduction to Cirquent Calculus and Abstract Resource Semantics.
Giorgi JaparidzePublished in: J. Log. Comput. (2006)
Keyphrases
- algebraic structure
- formal language
- resource allocation
- propositional dynamic logic
- formal semantics
- high level
- database query languages
- semantic information
- relational calculus
- graphical representation
- logic programming
- higher level
- process algebra
- neural network
- information resources
- resource management
- resource constraints
- reasoning tasks
- operational semantics
- relational databases