Navigation

• Education
  • International programmes
  • Faculties
  • ECTS
  • Vision and policy
• Research
  • Research at KU Leuven
  • Support and funding
  • Industry and Society
  • Phd
  • Postdoc researcher
  • Output and impact
  • Networking
  • Vision and policy
• Admissions
  • How to apply
  • Scholarships
  • Degree seeking students
  • Non-degree seeking students
  • Doctoral students
  • Reseachers
  • Short term study visits
  • Prepare your stay
• Living in Leuven
  • Welcome activities
  • News and agenda
  • Student Services
  • Housing
  • Insurance
  • Sports and culture
  • Student organisations
• About KU Leuven
  • Mission statement
  • Facts and figures
  • International networks
  • Development Cooperation
  • Academic Calendar
  • Alumni
  • Fundraising
  • Services and support
  • Boards and councils
  • News and press
  • Jobs

CW 290

H. Vandecasteele and M. Bruynooghe (eds.)
Abstracts of the Benelux workshop on computational logic

Abstract

Thursday May 25, 2000 - David S. Warren (Stony Brook), "When Databases Met Logic Programming" - Jef Wijssen (Mons), "Mining good roll-up levels in data cubes" - Sofie Verbaeten (KUL), "Termination Analysis of Logic Programs" - Jean-Francois Raskin (ULB), "Logics, Automata and Classical Theories for Deciding Real Time" Friday May 26, 2000 - Pascal Van Hentenryck (UCL), "OPL: A modeling language for mathematical and constraint programming" - Frank Neven (LUC), "Current Trends in Logical Query Languages for Structured or Semi-Structured Data" - Carlos Areces (UvA), "Dealing with Structure, Logically" - Ofer Arieli (KUL), "Four-valued logics for reasoning with uncertainty" - Hadassa Jakobovits (VUB), "Semantics for argumentation frameworks, with applications to logic programming and dialogue" - Dirk Van Gucht (Indiana University), "Recent results in the theory of geometric query languages"