• skip to content

FranconiSpace

User Tools

  • Log In

Site Tools

  • Recent Changes
  • Media Manager
  • Sitemap
You are here: FranconiSpace » Teaching » is » ILS -Logic & Databases - 2013/2014
Trace: • Results Exam 1 2012/2013 • Results Midterm B 2012/2013 • Results Midterm A 2012/2013 • Solutions to the Debug, Diagnosis, and Abduction lab • Artificial Intelligence (AI) - old course, valid until 2020/2021 • Solutions to the Propositions and Inference lab • Solutions to the Assumables lab • ILS -Logic & Databases - 2013/2014

Sidebar

  • Home
  • Research
    • i.com
    • coDBz
    • Quelo
    • DAWG alt
    • MacBee
    • SBVR / ORM
    • Semantic Desktop
    • Normalisation
    • Conferences
    • Wine Ontology project
  • Teaching
    • Teaching Forum
    • FoundAI - Foundations of Artificial Intelligence (BSc)
    • DS (ST) - Data Semantics (MSc)
    • SDS - Seminars on Data Semantics (MSc)
    • Writing Style (PhD)
    • LaTeX
    • Intro to Info Science
    • Discrete Math and Logics
    • ILS - Logic & Databases
    • Logic (old)
    • ADS - ArchDigSys
    • KR & Ontologies
    • Seminars in KR
    • KBDB
    • Intro to DB
    • DataWarehouses
    • EMCL
    • EASE
    • Schools & Doctoral Consortia
  • Organisation
    • Foundations and Challenges of Change in Ontologies and Databases
    • ESWC-07
    • DL-07
    • KRDB Seminars 2012-2013
    • KRDB Retreat 2012
    • KRDB travel planning
    • The KRiPad
teaching:is:main_logdb

ILS -Logic & Databases - 2013/2014

  • Towards a Logical Reconstruction of Relational Database Theory (Ray Reiter), 1984
    • (slides)
teaching/is/main_logdb.txt · Last modified: 2017/08/22 10:30 (external edit)

Page Tools

  • Show pagesource
  • Old revisions
  • Backlinks
  • Back to top
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki