Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.
Eduard BaranovSimon BliudzePublished in: Sci. Comput. Program. (2015)
Keyphrases
- update operators
- formal semantics
- aggregate functions
- expressive power
- logic programming
- modal operators
- computational properties
- query language
- update semantics
- relational operators
- highly expressive
- logic programs
- logical properties
- knowledge base
- logical framework
- belief revision
- possibilistic logic
- genetic algorithm
- morphological operators
- merging operators
- semantic information
- building blocks
- artificial intelligence