Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference

DOI10.1007/978-3-319-99960-9_6zbMath1455.68193OpenAlexW2888185943MaRDI QIDQ5149786

Matthias Nickles

Publication date: 8 February 2021

Published in: Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99960-9_6

zbMATH Keywords

numerical optimizationanswer set programmingSATprobabilistic logic programmingprojective gradient descentrelational AI

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

This page was built for publication: Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference