Extended semantics and inference for the Independent Choice Logic

DOI10.1093/jigpal/jzp025zbMath1189.03039OpenAlexW2039400313WikidataQ58063839 ScholiaQ58063839MaRDI QIDQ3653144

Fabrizio Riguzzi

Publication date: 18 December 2009

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4d863c8a8b877e9bf4605bae3d39e876274fe2c1

zbMATH Keywords

social networksprobabilistic logic programmingSLDNF-resolutionindependent choice logicdice gamesbiological graphsmodularly acyclic programs

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in computer science (03B70) Logic programming (68N17)

Related Items

Structure learning of probabilistic logic programs by searching the clause space, Probabilistic (logic) programming concepts, Bandit-based Monte-Carlo structure learning of probabilistic logic programs, Logic–based decision support for strategic environmental assessment, The PITA system: Tabling and answer subsumption for reasoning under uncertainty