A Linear Logic Programming Language for Concurrent Programming over Graph Structures.
Flávio CruzRicardo RochaSeth Copen GoldsteinFrank PfenningPublished in: CoRR (2014)
Keyphrases
- logic programming language
- graph structures
- concurrent programming
- logic programming
- constraint logic programming
- graph structure
- inference rules
- programming language
- situation calculus
- structured data
- graph mining
- logic programs
- graph clustering
- directed graph
- modal logic
- social networks
- knowledge representation
- data model
- data structure
- high level