A logical correspondence between natural semantics and abstract machines.
Robert J. SimmonsIan ZernyPublished in: PPDP (2013)
Keyphrases
- logical properties
- model theoretic
- logical framework
- logical language
- logic programming
- logical rules
- formal semantics
- high level
- data model
- point correspondences
- artificial systems
- relational query languages
- propositional dynamic logic
- dynamic logic
- semantic information
- real world
- nonmonotonic logics
- logical representation
- logical reasoning
- higher level
- logical theories
- databases