Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects.
Silvia Lizeth Tapia TarifaPublished in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
- wordnet
- knowledge base
- method invocation
- high level
- semantic meaning
- data objects
- spatial relationships
- object model
- moving objects
- formal semantics
- relational structures
- multiple objects
- databases
- multiple inheritance
- individual objects
- hierarchical structures
- default logic
- image regions
- logic programming
- higher level