On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements.
Philippe de GrootePublished in: LENLS (2023)
Keyphrases
- horn clauses
- propositional theories
- formal semantics
- first order logic
- inductive logic programming
- logic programming
- search space
- computational properties
- control flow
- background knowledge
- logic programs
- inference rules
- open world
- theorem proving
- schema mappings
- computational problems
- closed world
- decision procedures
- consequence finding
- modal logic
- search algorithm
- prime implicates
- knowledge compilation
- stable models
- reasoning tasks
- expressive power