Colour Passing Revisited: Lifted Model Construction with Commutative Factors.
|
AAAI |
2024 |
0 |
An extended view on lifting Gaussian Bayesian networks.
|
Artificial Intelligence |
2024 |
0 |
Lifted Division for Lifted Hugin Belief Propagation.
|
AISTATS |
2022 |
0 |
Lifting in multi-agent systems under uncertainty.
|
UAI |
2022 |
0 |
Who did it? Identifying the Most Likely Origins of Events.
|
PGM |
2022 |
0 |
Handling Overlaps When Lifting Gaussian Bayesian Networks.
|
IJCAI |
2021 |
0 |
A First Step Towards Even More Sparse Encodings of Probability Distributions.
|
ILP |
2021 |
0 |
Lifting Queries for Lifted Inference.
|
ECAI |
2020 |
0 |
Lifted Marginal Filtering for Asymmetric Models by Clustering-Based Merging.
|
ECAI |
2020 |
0 |
Lifted Query Answering in Gaussian Bayesian Networks.
|
PGM |
2020 |
1 |
Investigating Matureness of Probabilistic Graphical Models for Dry-Bulk Shipping.
|
PGM |
2020 |
3 |
Taming Reasoning in Temporal Probabilistic Relational Models.
|
ECAI |
2020 |
0 |
Parameterised Queries and Lifted Query Answering.
|
IJCAI |
2018 |
16 |
Indirect Causes in Dynamic Bayesian Networks Revisited.
|
JAIR |
2017 |
0 |
PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.
|
JAIR |
2016 |
5 |
Towards Analytics Aware Ontology Based Access to Static and Streaming Data.
|
ISWC |
2016 |
35 |
Using a Deep Understanding of Network Activities for Network Vulnerability Assessment.
|
ECAI |
2016 |
6 |
Indirect Causes in Dynamic Bayesian Networks Revisited.
|
IJCAI |
2015 |
13 |
Nearness Rules and Scaled Proximity.
|
ECAI |
2012 |
6 |
Scalable Geo-thematic Query Answering.
|
ISWC |
2012 |
9 |
Mapping Validation by Probabilistic Reasoning.
|
ESWC |
2008 |
41 |
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].
|
ECAI |
2008 |
0 |
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.
|
KR |
2004 |
57 |
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.
|
IJCAI |
2001 |
171 |
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.
|
KR |
2000 |
85 |
Consistency Testing: The RACE Experience.
|
TABLEAUX |
2000 |
48 |
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.
|
TABLEAUX |
1999 |
4 |
Foundations of Spatioterminological Reasoning with Description Logics.
|
KR |
1998 |
98 |
Knowledge-Based Dialog Structuring for Graphics Interaction.
|
ECAI |
1996 |
4 |