2023
DOI: 10.1016/j.ic.2023.105061
|View full text |Cite
|
Sign up to set email alerts
|

Asymptotic elimination of partially continuous aggregation functions in directed graphical models

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 20 publications
0
1
0
Order By: Relevance
“…Automated theorem provers provide algorithmic solutions for the reasoning tasks described in Example 5.3. For the analysis of limit probabilities as in Example 5.5 there exist a few theoretical results that puts them into the reach of general automated inference methods (Grandjean, 1983 ; Jaeger, 1998 ; Cozman and Mauá, 2019 ; Koponen and Weitkämper, 2023 ). However, these results have not yet been carried over to operational implementations.…”
Section: Reasoning: Tasks and Techniquesmentioning
confidence: 99%
“…Automated theorem provers provide algorithmic solutions for the reasoning tasks described in Example 5.3. For the analysis of limit probabilities as in Example 5.5 there exist a few theoretical results that puts them into the reach of general automated inference methods (Grandjean, 1983 ; Jaeger, 1998 ; Cozman and Mauá, 2019 ; Koponen and Weitkämper, 2023 ). However, these results have not yet been carried over to operational implementations.…”
Section: Reasoning: Tasks and Techniquesmentioning
confidence: 99%