9th–24th July 2014
Vienna Summer of Logic

Logic in Computer Science / FLoC:

  • CAV
  • CSF
  • CSL-LICS
  • ICLP
  • IJCAR
  • ITP
  • RTA-TLCA
  • SAT
  • Workshops
  • Olympic Games
  • SAT/SMT School

Mathematical Logic:

  • LC
  • LATD
  • GeTFun 2.0
  • INFINITY
  • LG
  • NCPROOFS
  • KG Fellowship Competition

Logic in Artificial Intelligence:

  • KR
  • DL
  • NMR
  • KR4HC

Logic in Austria:

  • Funded PhD Positions
  • Public Events

Menu

Skip to content
  • Home
  • Blog
  • At a Glance
  • Program
    • Calendars
  • Speakers
  • Public Events
  • Local Information
    • Travel to Vienna
    • Travel in Vienna
    • Meeting Locations
    • Food and Drinks
    • Cultural Program
    • Tourism
    • Techy Stuff
    • Useful Information
  • Brochure
  • Registration
  • Partners and Sponsors
  • Organization
    • Honorary Committee
  • Media Relations
  • Contact

Logic in Artificial Intelligence

Organization chairs:
Thomas Eiter, Michael Fink, Stefan Woltran

  • 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
  • 27th International Workshop on Description Logics (DL)
  • 15th International Workshop on Non-Monotonic Reasoning (NMR)
  • International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)

FLoC Poster

FLoC Poster

FLoC Poster

KR Poster

Disclaimer · Offenlegung · Login · Powered by WordPress