Find expertise

1 - 10 of 38 results

Search term:

Department of Decision Sciences and Information Management, Leuven KU Leuven

The Department of Decision Sciences and Information Management, Leuven, consists of three research centres:

  • Research Centre for Operations Research and Business Statistics (ORSTAT), Leuven
  • Research Centre for Operations Management, Leuven
  • Research Centre for Management Informatics (LIRIS), Leuven

Theoretical Computer Science Vrije Universiteit Brussel

Research theme: Applications of logic in computer science. Computer science can be regarded as ``applied logic''; from the level of hardware (circuits) up to sophisticated knowledge representation (e.g. nonmonotonic reasoning). Areas of interest include: 1. Modelling argumentation; 2. Nonmonotonic reasoning formalisms; 3. Formal specification and verification of complex software systems; 4. Logic programming semantics.