Safe Dependency Atoms and Possibility Operators in Team Semantics.
Pietro GallianiPublished in: GandALF (2018)
Keyphrases
- aggregate functions
- linear combination
- morphological operators
- formal semantics
- logic programming
- agent oriented programming language
- update operators
- object types
- team members
- semantic information
- logic programs
- owl ontologies
- operational semantics
- transformation rules
- nonmonotonic logics
- model theoretic
- conceptual graphs
- semantics of logic programs