Informatics and Applied Informatics

Postal address
Pleinlaan 2
1050
Brussels
Belgium
Contact
Phone: +32-2-6293755

Research output

  1. Safe inductions and their applications in knowledge representation

    Research output: Research - peer-reviewArticle

  2. Fixpoint semantics for active integrity constraints

    Research output: Research - peer-reviewArticle

  3. Exploiting Justifications for Lazy Grounding of Answer Set Programs.

    Research output: ResearchConference paper

View all (4) »

Projects

  1. Integration in Knowledge Representation and Reasoning

    Project: FundamentalInformation and communication technology

View all () »

ID: 39732912