Books

 

Generic Inference: A Unifying Framework for Automated Reasoning
M. Pouly and J. Kohlas
John Wiley and Sons, Inc.
ISBN: 0470527013
bib buy

PhD Thesis

A Generic Framework for Local Computation
M. Pouly
Department of Informatics, University of Fribourg,
PhD Thesis, 2008.

www pdf

Journal Articles

Probabilistic Reasoning with Graphical Security Models
B. Kordy and M. Pouly and P. Schweitzer
Information Sciences, Volume 342, pages 111 - 131, 2016
www pdf

Generalized Information Theory for Hints
M. Pouly and J. Kohlas and P. Ryan
International Journal of Approximate Reasoning, 2013
Volume 54, Issue 1, pages 228 - 251

www

Generic Local Computation
J. Kohlas and M. Pouly and C. Schneuwly
Journal of Computer and System Sciences, 2012,
Volume 78, Issue 1, pages 348 - 369.

www

NENOK - A Software Architecture for Generic Inference
M. Pouly
International Journal on Artificial Intelligence Tools, 2010,
Volume: 19, Issue 1, pages 65 - 99.

www

Conference and Workshop Papers

On using Support Vector Machines for the Detection and Quantification of Hand Eczema
S. Schnürle and M. Pouly and Tim vor der Brück and A. Navarini and Th. Koller
Accepted for publication at ICAART'17: 9th International Conference on Agents and Artificial Intelligence
Porto, Portugal 2017.

Skyline Computation on Commercial Data
M. Galli and S. Schnürle and R. Arnold and M. Pouly
ICAART'16: 8th International Conference on Agents and Artificial Intelligence
Rome, Italy 2016.

Guided Specification and Analysis of a Loyalty Card System
L. Cuennet and M. Pouly and S. Radomirovic
GraMSec'15: 2nd International Workshop on Graphical Models for Security, LNCS 9390
Verona, Italy 2015.

pdf

A Probabilistic Framework for Security Scenarios with Dependent Actions
B. Kordy and M. Pouly and P. Schweitzer
iFM'14: 11th International Conference on Integrated Formal Methods, LNCS 8739
Bertinoro, Italy 2014.

www

Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern Analysis
Ch. Suter and A. Navarini and M. Pouly and R. Arnold and F. Gutzwiller and R. Meier and Th. Koller
ECAI'14: 21st European Conference on Artificial Intelligence,
Prague, Czech Republic 2014.

www

Computational Aspects of Attack-Defense Trees
B. Kordy and M. Pouly and P. Schweitzer
S&IIS'11: 2nd International Joint Conference on Security and Intelligent Information Systems,
Warsaw, Poland 2011.

bib

Generalized Information Theory based on the Theory of Hints
M. Pouly
ECSQARU'11: 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
Belfast, Northern Ireland 2011.

bib

Generic Solution Construction in Valuation-Based Systems
M. Pouly
CAI'11: 11th Canadian Conference on Artificial Intelligence,
St. John's, Canada 2011.

bib

A Generic Approach for Solving Sparse Path Problems
M. Pouly
ICAART'10: 2nd International Conference on Agents and Artificial Intelligence,
Valencia, Spain 2010.

bib

Compiling Solution Configurations in Semiring Valuation Algebras
M. Pouly and R. Haenni and M. Wachter
Pages 248-259 of: A. Gelbukh and A. F. Kuri Morales (eds.),
MICAI'07: 6th Mexican International Conference on Artificial Intelligence,
Aguascalientes, Mexico 2007.

bib pdf

Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras
M. Wachter and R. Haenni and M. Pouly
Pages 236-247 of: A. Gelbukh and A. F. Kuri Morales (eds.),
MICAI'07: 6th Mexican International Conference on Artificial Intelligence,
Aguascalientes, Mexico. 2007.

bib pdf

Minimizing Communication Costs of Distributed Local Computation
M. Pouly
Pages 19-24 of: A. Darwiche and R. Dechter and H. Fargier and J. Kohlas and J. Mengin
and G. Verfaillie and N. Wilson (eds.),
ECAI'06, Workshop 26: Inference Methods based on Graphical Structures of Knowledge,
Riva del Garda, Italy 2006.

bib pdf

Implementation of a generic Architecture for Local Computation
M. Pouly
Pages 31-37 of: J. Kohlas and J. Mengin and N. Wilson (eds.),
ECAI'04, Workshop 22: Local Computation for Logics and Uncertainty,
Valencia, Spain 2004.

bib pdf

Collections

Information Algebra
J. Kohlas, M. Pouly, C. Schneuwly
Wiley Encyclopedia of Computer Science and Engineering,
Benjamin Wah (ed.), Hoboken, John Wiley & Sons Inc.

bib

Technical Reports

Generic Local Computation
M. Pouly and C. Schneuwly and J. Kohlas
Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg,
Technical Report, 2011.

bib pdf

Dynamic Programming and Local Computation
M. Pouly and J. Kohlas
Department of Informatics, University of Fribourg,
Technical Report 07-02, 2007.

bib pdf

NENOK 1.1 User Guide
M. Pouly
Department of Informatics, University of Fribourg,
Technical Report 06-02, 2006.

bib pdf

Minimizing Communication Costs of Distributed Local Computation
M. Pouly and J. Kohlas
Department of Informatics, University of Fribourg,
Technical Report 05-20, 2005.

bib pdf

Local Computation in Covering Join Trees
C. Schneuwly and M. Pouly and J. Kohlas
Department of Informatics, University of Fribourg,
Technical Report 04-16, 2004.

bib pdf

Master's Thesis

A generic Architecture for Local Computation
M. Pouly
Department of Informatics, University of Fribourg,
Master's Thesis, 2004.

bib pdf