A frame stack semantics for sequential Core Erlang.
Péter BereczkyDániel HorpácsiSimon J. ThompsonPublished in: IFL (2023)
Keyphrases
- logic programming
- semantic information
- model theoretic
- owl ontologies
- conceptual model
- sequential search
- semantic representation
- database
- deductive databases
- coordinate frame
- single frame
- formal semantics
- default reasoning
- reference frame
- frame rate
- video frames
- steady state
- video sequences
- database systems
- website
- knowledge base
- real time