LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
MSA 3.520

Room 3.520 (third floor) of Maison du Savoir (MSA) building, 2 avenue de l’Université, L-4365 Esch-sur-Alzette, Auditorum (150 seats).

See also Google Maps.

Sessions

  • Session 9B (Sep 18 09:00-09:30) Applications of Rules and Neural Networks
  • Session 11 (Sep 18 09:30-09:35) LuxLogAI Welcome Address
  • Session 12 (Sep 18 09:35-10:30) Tuesday morning invited talk
  • Session 13C (Sep 18 11:00-12:30) Description Logics
  • Session 14C (Sep 18 14:00-15:30) KR Systems and Applications
  • Session 16C (Sep 18 16:00-16:18) Reasoning with Modalities
  • Session 17 (Sep 18 16:18-17:30) Doctoral Consortium
  • Session 25D (Sep 19 11:00-12:30) Tutorial: Logic and Smart Contracts
  • Session 26B (Sep 19 14:00-15:00) Invited talk
  • Session 27B (Sep 19 15:00-15:30) Industry Track I
  • Session 28 (Sep 19 15:45-17:00) Industry Track II
  • Session 31B (Sep 20 09:00-10:30) Ontological Reasoning
  • Session 32B (Sep 20 11:00-12:30) Rule Challenge
  • Session 33C (Sep 20 14:00-15:00) Invited Talk
  • Session 34 (Sep 20 15:00-15:30) Complex Event Processing
  • Session 35 (Sep 20 16:00-17:30) Tutorial: LegalRuleML
  • Session 36B (Sep 20 17:30-18:30) Business meeting: RuleML
  • Session 37 (Sep 20 18:30-19:00) Business meeting: RRA and RuleML joint committee
  • Session 38B (Sep 21 09:00-10:00) Invited Talk
  • Session 39 (Sep 21 10:00-10:30) RuleML+RR and Doctoral Consortium: Joint Poster Teasers
  • Session 40B (Sep 21 11:00-12:00) Knowledgebases and Reasoning
  • Session 41B (Sep 21 12:00-12:30) Benchmarking
  • Session 42B (Sep 21 14:00-15:30) Rule Systems and Applications
  • Session 43B (Sep 21 16:00-16:30) RuleML+RR Closing
  • Session 45 (Sep 22 08:30-12:00)
  • Session 46 (Sep 22 12:00-13:30) Working group I
  • Session 47 (Sep 22 14:30-18:00)
  • Session 48 (Sep 23 08:30-12:00)
  • Session 49 (Sep 23 12:00-13:30) Working group II
  • Session 50 (Sep 23 14:30-18:00)
  • Session 51 (Sep 23 18:00-19:30) Group Presentations