Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliatedWith |
gptkb:University_of_Leuven
|
| gptkbp:hasAwards |
Best Paper Award
|
| gptkbp:hasFieldOfUse |
Artificial Intelligence
Formal Methods Programming Languages |
| gptkbp:hasOccupation |
Scientist
|
| gptkbp:hasPublications |
Logic in Computer Science
|
| gptkbp:hasResearchInterest |
Knowledge Representation
Model Checking Software Verification Automated Reasoning Declarative Programming Constraint Programming Program Analysis Type_Systems Logic_Programming Artificial_Intelligence_in_Education |
| https://www.w3.org/2000/01/rdf-schema#label |
Lodewijk De Raedt
|
| gptkbp:knownFor |
Research in computer science
|