- On the role of logical separability in knowledge compilation.Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai & Qian Dong - 2024 - Artificial Intelligence 328 (C):104077.details
|
|
|
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions.Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi & Zhiwei Zhang - 2021 - Artificial Intelligence 299 (C):103559.details
|
|
|
Open-world probabilistic databases: Semantics, algorithms, complexity.İsmail İlkan Ceylan, Adnan Darwiche & Guy Van den Broeck - 2021 - Artificial Intelligence 295 (C):103474.details
|
|
|
Structured learning modulo theories.Stefano Teso, Roberto Sebastiani & Andrea Passerini - 2017 - Artificial Intelligence 244 (C):166-187.details
|
|
|
Approximate weighted model integration on DNF structures.Ralph Abboud, İsmail İlkan Ceylan & Radoslav Dimitrov - 2022 - Artificial Intelligence 311 (C):103753.details
|
|
|
The complexity of Bayesian networks specified by propositional and relational languages.Fabio G. Cozman & Denis D. Mauá - 2018 - Artificial Intelligence 262 (C):96-141.details
|
|
|
Probabilistic sentence satisfiability: An approach to PSAT.T. C. Henderson, R. Simmons, B. Serbinowski, M. Cline, D. Sacharny, X. Fan & A. Mitiche - 2020 - Artificial Intelligence 278 (C):103199.details
|
|
|
Importance sampling-based estimation over AND/OR search spaces for graphical models.Vibhav Gogate & Rina Dechter - 2012 - Artificial Intelligence 184-185 (C):38-77.details
|
|
|
Advanced SMT techniques for weighted model integration.Paolo Morettin, Andrea Passerini & Roberto Sebastiani - 2019 - Artificial Intelligence 275 (C):1-27.details
|
|
|
A new probabilistic constraint logic programming language based on a generalised distribution semantics.Steffen Michels, Arjen Hommersom, Peter J. F. Lucas & Marina Velikova - 2015 - Artificial Intelligence 228 (C):1-44.details
|
|
|
aspmc: New frontiers of algebraic answer set counting.Thomas Eiter, Markus Hecher & Rafael Kiesel - 2024 - Artificial Intelligence 330 (C):104109.details
|
|
|
Lifted algorithms for symmetric weighted first-order model sampling.Yuanhong Wang, Juhua Pu, Yuyi Wang & Ondřej Kuželka - 2024 - Artificial Intelligence 331 (C):104114.details
|
|
|
Definability for model counting.Jean-Marie Lagniez, Emmanuel Lonca & Pierre Marquis - 2020 - Artificial Intelligence 281 (C):103229.details
|
|
|
Enhancing SMT-based Weighted Model Integration by structure awareness.Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini & Roberto Sebastiani - 2024 - Artificial Intelligence 328 (C):104067.details
|
|
|
Exact stochastic constraint optimisation with applications in network analysis.Anna L. D. Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger H. Hoos & Siegfried Nijssen - 2022 - Artificial Intelligence 304 (C):103650.details
|
|
|
Exploiting local and repeated structure in Dynamic Bayesian Networks.Jonas Vlasselaer, Wannes Meert, Guy Van den Broeck & Luc De Raedt - 2016 - Artificial Intelligence 232 (C):43-53.details
|
|
