Model-Theoretic Expressivity Analysis
From MaRDI portal
Publication:5452032
DOI10.1007/978-3-540-78652-8_13zbMath1137.68591MaRDI QIDQ5452032
Publication date: 28 March 2008
Published in: Probabilistic Inductive Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78652-8_13
68T27: Logic in artificial intelligence
68N17: Logic programming
03C98: Applications of model theory
Related Items
Probabilistic (logic) programming concepts, Some thoughts on knowledge-enhanced machine learning, The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws
Cites Work