Tableau-Based Model Generation for Relational Syllogistic Logics.
Erik WennstromPublished in: ISAIM (2014)
Keyphrases
- relational databases
- description logics
- relational data
- expressive power
- inference rules
- data model
- modal logic
- statistical relational learning
- database schema
- mental models
- relational learning
- database language
- relational queries
- valued logic
- databases
- epistemic logic
- multi relational
- multi agent systems
- genetic algorithm