- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Michels, S."
Now showing items 1-20 of 20
-
Reducing the Cost of Probabilistic Knowledge Compilation Lucas, P. ; Dal, G.H.; Michels, S.2017, Article in monograph or in proceedings (Antti, H. (ed.), Proceedings of The 3rd International Workshop on Advanced Methodologies for Bayesian Networks, 20-22 September 2017, pp. 141--152) -
Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming 2016, Article in monograph or in proceedings (Kambhampati, S. (ed.), IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence New York, New York, USA 9–15 July 2016, pp. 3616-3622)
-
-
Metis: An Integrated Reference Architecture for Addressing Uncertainty in Decision-support Systems Huijbrechts, B.; Velikova, M.V. ; Michels, S. ; Scheepens, R.2015, Article / Letter to editor (Procedia Computer Science, vol. 44, iss. 0, (2015), pp. 476-485) -
A new probabilistic constraint logic programming language based on a generalised distribution semantics 2015, Article / Letter to editor (Artificial Intelligence, vol. 228, iss. November, (2015), pp. 1-44) -
Rationale Visualization for Safety and Security Scheepens, R.; Michels, S. ; Wetering, H. van de; Wijk, J.J. van2015, Article / Letter to editor (Computer Graphics Forum, vol. 34, iss. 3, (2015), pp. 191-200)
-
Enhancing operational work in maritime safety-and-security tasks Michels, S. ; Velikova, M.V. ; Huijbrechts, B.; Novak, P.; Hoeksma, J.; Scheepens, R.; Laarhuis, J.; Bonhof, A.2014, Article in monograph or in proceedings (Grootjen, F.; Otworoska, M.; Kwisthout, J. (ed.), Benelux Conference on Artificial Intelligence (BNAIC) 2014 : Proceedings of the 26th Benelux Conference on Artificial Intelligence, Nijmegen, 6-7 November 2014, pp. 187-188)
-
Imprecise Probabilistic Horn Clause Logic 2014, Part of book or chapter of book (Schaub, T. (ed.), ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Includi Proceedings, pp. 621-626)
-
An Integrated Reconfigurable System for Maritime Situational Awareness Velikova, M.V. ; Novak, P.; Huijbrechts, B.; Laarhuis, J.; Hoeksma, J.; Michels, S.2014, Part of book or chapter of book (Schaub, T. (ed.), ECAI 2014, pp. 1197-1202)
-
The beauty of declarative purely functional projections 2013, Part of book or chapter of book (Achten, P.; Koopman, P. (ed.), The beauty of functional code, pp. 250-257)
-
A decision support model for uncertainty reasoning in safety and security tasks 2013, Article in monograph or in proceedings (Lai, L. Lei (ed.), 2013 IEEE International Conference on Systems, Man, and Cybernetics SMC 2013 : Proceedings, pp. 663-668)
-
Inference for a New Probabilistic Constraint Logic 2013, Article in monograph or in proceedings (Rossi, F. (ed.), IJCAI-13: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Beijing, China, 3–9 August 2013, pp. 2540-2543)
-
Defining multi-user web applications with iTasks Plasmeijer, R. ; Achten, P. ; Lijnse, B.; Michels, S.2012, Part of book or chapter of book (Zsok, V. (ed.), Central European Functional Programming School : 4th Summer School, CEFP2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers, pp. 46-92)
-
A Probabilistic Logic-based Model for Fusing Attribute Information of Objects Under Surveillance 2012, External research report
-
Probabilistic model-based assessment of information quality in uncertain domains 2012, Part of book or chapter of book (Thielscher, M. (ed.), AI 2012: Advances in Artificial Intelligence, 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings, pp. 890-901)
-
Task-oriented programming in a pure functional language Plasmeijer, R. ; Lijnse, B.; Michels, S. ; Achten, P. ; Koopman, P.2012, Article in monograph or in proceedings (PPDP'12 : Proceedings of the 14th symposium on Principles and practice of declarative programming, pp. 195-206)
-
iTask as a new paradigm for building GUI applications 2011, Article in monograph or in proceedings (Hage, J.; Morazán, M.T. (ed.), Proceedings of the 22nd International Symposium on the Implementation and Application of Functional Languages, IFL '10, Selected Papers, Alphen aan den Rijn, The Netherlands, 2011, pp. 153-168)
-
Getting a grip on tasks that coordinate tasks Plasmeijer, R. ; Lijnse, B.; Achten, P. ; Michels, S.2011, Article in monograph or in proceedings (Brabrand, C. (ed.), LDTA'11 : Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, pp. 1-7)
-
iTask as a new paradigm to building GUI applications - extended abstract - 2010, External research report
-
Adaptive Scheduling of Data Paths using Uppaal Tiga AIAttilli, I.; Houben, F.; Igna, G.; Michels, S. ; Zhu, F.; Vaandrager, F.W.2009, Article in monograph or in proceedings (Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, pp. 1-12)
Now showing items 1-20 of 20
Search Repository
Browse
-
All of Repository
Upload Full Text