Safe dependency atoms and possibility operators in team semantics.
Pietro GallianiPublished in: Inf. Comput. (2021)
Keyphrases
- logic programs
- logic programming
- semantic information
- agent oriented programming language
- update operators
- linear combination
- model theoretic
- default reasoning
- formal semantics
- aggregate functions
- robotic soccer
- information content
- default logic
- default theories
- operational semantics
- epistemic logic
- modal operators