Steffen Michels

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 3

Top Topics

Knowledge Compilation

Situational Awareness

Probabilistic Model

Top Venues

The Beauty of Functional Code

Publications

Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer
Dynamic Editors for Well-Typed Expressions. TFP (2021)
Peter J. F. Lucas, Giso H. Dal, Steffen Michels
Reducing the Cost of Probabilistic Knowledge Compilation. AMBN (2017)
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas
Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. IJCAI (2016)
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova
A new probabilistic constraint logic programming language based on a generalised distribution semantics. Artif. Intell. 228 (2015)
Roeland Scheepens, Steffen Michels, Huub van de Wetering, Jarke J. van Wijk
Rationale Visualization for Safety and Security. Comput. Graph. Forum 34 (3) (2015)
Marina Velikova, Peter Novák, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma, Steffen Michels
An Integrated Reconfigurable System for Maritime Situational Awareness. ECAI (2014)
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova
Imprecise Probabilistic Horn Clause Logic. ECAI (2014)
Steffen Michels
The Beauty of Declarative Purely Functional Projections. The Beauty of Functional Code (2013)
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman
Inference for a New Probabilistic Constraint Logic. IJCAI (2013)
Steffen Michels, Marina Velikova, Arjen Hommersom, Peter J. F. Lucas
A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks. SMC (2013)
Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman
Task-oriented programming in a pure functional language. PPDP (2012)
Steffen Michels, Marina Velikova, Peter J. F. Lucas
Probabilistic Model-Based Assessment of Information Quality in Uncertain Domains. Australasian Conference on Artificial Intelligence (2012)
Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels
Defining Multi-user Web Applications with iTasks. CEFP (2011)
Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels
Getting a grip on tasks that coordinate tasks. LDTA (2011)
Steffen Michels, Rinus Plasmeijer, Peter Achten
iTask as a New Paradigm for Building GUI Applications. IFL (2010)
Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager
Adaptive Scheduling of Data Paths using Uppaal Tiga QFM (2009)