Giso H. Dal

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Knowledge Compilation

Prime Implicates

Binary Decision Diagrams

Top Venues

Int. J. Approx. Reason.

Publications

Giso H. Dal, Alfons Laarman, Peter J. F. Lucas
ParaGnosis: A Tool for Parallel Knowledge Compilation. SPIN (2023)
Giso H. Dal, Alfons W. Laarman, Arjen Hommersom, Peter J. F. Lucas
A compositional approach to probabilistic knowledge compilation. Int. J. Approx. Reason. 138 (2021)
Giso H. Dal, Alfons W. Laarman, Peter J. F. Lucas
Parallel Probabilistic Inference by Weighted Model Counting. PGM (2018)
Giso H. Dal, Peter J. F. Lucas
Weighted positive binary decision diagrams for exact probabilistic inference. Int. J. Approx. Reason. 90 (2017)
Peter J. F. Lucas, Giso H. Dal, Steffen Michels
Reducing the Cost of Probabilistic Knowledge Compilation. AMBN (2017)
Giso H. Dal, Peter J. F. Lucas
Weighted Positive Binary Decision Diagrams for Exact Probabilistic Inference. CoRR (2016)
Giso H. Dal, Walter A. Kosters, Frank W. Takes
Fast Diameter Computation of Large Sparse Graphs Using GPUs. PDP (2014)
Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Giso H. Dal, Joaquim Bastos, Jonathan Rodriguez, Marleen Germs, Henk Schwietert
MoSHCA - my mobile and smart health care assistant. Healthcom (2013)