A Basic Logic for Reasoning about Connector Reconfiguration.
Dave ClarkePublished in: Fundam. Informaticae (2008)
Keyphrases
- formal theory
- modal operators
- complete axiomatization
- modal logic
- classical logic
- causal reasoning
- logic programming
- qualitative reasoning
- asynchronous circuits
- abductive reasoning
- computational properties
- multi valued
- case study
- automated reasoning
- real time
- spatial reasoning
- evolutionary algorithm
- information systems
- social networks
- genetic algorithm
- databases