Dynamic reconfiguration of component-based systems described by propositional configuration logic.
George RahonisMelpomeni SoulaPublished in: CoRR (2023)
Keyphrases
- dynamic reconfiguration
- sound and complete axiomatization
- software architecture
- propositional logic
- belief revision
- general purpose
- application specific
- multi valued
- artificial intelligence
- distributed systems
- software development
- logic programming
- software systems
- real time
- horn clauses
- asynchronous circuits
- databases