Semantics foundations of PsyC based on synchronous Logical Execution Time.
Fabien SironDumitru Potop-ButucaruRobert de SimoneDamien ChabrolAmira MethniPublished in: CPS-IoT Week Workshops (2023)
Keyphrases
- logical properties
- logical language
- logical framework
- formal semantics
- logical rules
- model theoretic
- active rules
- logical theories
- neural network
- logic programming
- predicate calculus
- control flow
- artificial intelligence
- belief revision
- data sets
- dynamic logic
- conceptual model
- semantic information
- reasoning tasks
- definition language
- relational query languages
- database
- concurrent execution
- data model
- query language
- logical operations
- data sources
- logical formulas
- description logics
- execution model
- parallel execution
- deductive databases
- plan execution
- data flow
- default reasoning