Updates
Implementations
DLP
LUPS
MDLP
EVOLP
Temporal EVOLP
Preferences
Publications
Persons
Site Map
Implementations of Logic Programs Updates
You can find here implementations of:
Dynamic Logic Programming
LUPS - a language for dynamic updates
MDLP (Multi-Dimensional Dynamic Logic Programs)
EVOLP
EVOLP with temporal operators
DLP with preferences