Selected papers from the Logic in Databases Workshop 2008.
Andrea CalìLaks V. S. LakshmananDavide MartinenghiPublished in: J. Appl. Log. (2010)
Keyphrases
- selected papers
- databases
- international workshop
- annual conference
- invited talk
- database
- computer science
- closed world assumptions
- conference proceedings
- classical logic
- database systems
- relational databases
- review process
- knowledge discovery
- logic programming
- database applications
- dagstuhl castle
- modal logic
- multi valued
- data management
- data sources
- metadata
- real world
- database queries
- automated reasoning
- researchers and practitioners
- data integration
- logical framework
- computational intelligence
- defeasible logic
- program committee
- data model
- data sets