Steffen Michels
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | IJCAI | Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. | Steffen Michels, Arjen Hommersom, Peter J. F. Lucas |
| 2014 | ECAI | Imprecise Probabilistic Horn Clause Logic. | Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova |
| 2014 | ECAI | An Integrated Reconfigurable System for Maritime Situational Awareness. | Marina Velikova, Peter Novk, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma, Steffen Michels |
| 2013 | IJCAI | Inference for a New Probabilistic Constraint Logic. | Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman |
| 2013 | SMC | A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks. | Steffen Michels, Marina Velikova, Arjen Hommersom, Peter J. F. Lucas |
| 2012 | PPDP | Task-oriented programming in a pure functional language. | Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman |