BOOK-CHAPTER

Compacting Boolean Formulae for Inference in Probabilistic Logic Programming

Theofrastos MantadelisDimitar ShterionovGerda Janssens

Year: 2015 Lecture notes in computer science Pages: 425-438   Publisher: Springer Science+Business Media
Keywords:
Inference Computer science Probabilistic logic Theoretical computer science Boolean expression Boolean model Pipeline (software) Boolean function Algorithm Representation (politics) Time complexity Programming language Artificial intelligence Mathematics Discrete mathematics

Metrics

2
Cited By
0.91
FWCI (Field Weighted Citation Impact)
30
Refs
0.75
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Bayesian Modeling and Causal Inference
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

© 2026 ScienceGate Book Chapters — All rights reserved.