Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions.
Gabriel CiobanuEneia Nicolae TodoranPublished in: SYNASC (2016)
Keyphrases
- logical language
- specification language
- operational semantics
- logic programming language
- intended meaning
- highly expressive
- formal semantics
- model theoretic
- conditional logic
- definition language
- formal language
- programming language
- default reasoning
- fixed point semantics
- denotational semantics
- natural language
- action language
- dynamic logic
- conceptual graphs
- conceptual model
- semantically equivalent
- formal languages
- semantic information
- logic programming
- speech acts
- semantic representations
- belief revision
- uml class diagrams
- language learning
- closed world
- situation calculus