ACL RD-TEC 1.0 Summarization of A92-1001
Paper Title:
DERIVING DATABASE QUERIES FROM LOGICAL FORMS BY ABDUCTIVE DEFINITION EXPANSION
DERIVING DATABASE QUERIES FROM LOGICAL FORMS BY ABDUCTIVE DEFINITION EXPANSION
Authors: Manny Rayner and Hiyan Alshawi
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- cache
- case
- conjunct
- database query
- database relation
- declarative knowledge
- derivation
- domain information
- existential quantification
- existential quantifier
- fact
- generation
- heuristics
- hypotheses
- hypothesis
- implementation
- inference rules
- interpretation
- interpreter
- knowledge
- language engine
- linguistic
- logical form
- logical forms
- logical formula
- meaning
- method
- names
- predicates
- procedure
- process
- quantifier
- queries
- query
- recursion
- relation
- representation language
- schema
- sentence
- sentences
- skolem function
- stem
- symbols
- terms
- transformation
- unit clause
- universal quantification
- user
- word
- word sense
- word senses
