Hanne Vlaeminck
From MaRDI portal
Person:3001910
Available identifiers
zbMath Open vlaeminck.hanneMaRDI QIDQ3001910
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| An approximative inference method for solving ∃∀SO satisfiability problems | 2012-12-03 | Paper |
| Answer Set Programming’s Contributions to Classical Logic | 2011-05-19 | Paper |
| An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems | 2010-10-01 | Paper |
| Debugging for Model Expansion | 2009-07-24 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Hanne Vlaeminck
