LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics.
Steffen HedegaardSøren HouenJakob Grue SimonsenPublished in: ICSC (2009)
Keyphrases
- logical language
- specification language
- model theoretic
- operational semantics
- semantic information
- formal semantics
- intended meaning
- highly expressive
- semantic representations
- denotational semantics
- logic programming
- semantically equivalent
- definition language
- semantic structure
- dynamic logic
- logic programming language
- conditional logic
- conceptual graphs
- conceptual model
- information retrieval
- english text
- language learning
- belief revision
- programming language
- metadata