Introduction to Cirquent Calculus and Abstract Resource Semantics.
Giorgi JaparidzePublished in: CoRR (2005)
Keyphrases
- algebraic structure
- resource allocation
- formal language
- database query languages
- formal semantics
- relational calculus
- logic programming
- proof theoretic
- computational properties
- operational semantics
- high level
- information resources
- default reasoning
- process algebra
- model theoretic
- propositional dynamic logic
- speech acts
- web resources
- relational algebra
- low level