Open AccessStable Model Counting and Its Application in Probabilistic Logic Programming
Author(s) -
Rehan Aziz,
Geoffrey Chu,
Christian Muise,
Peter J. Stuckey
Publication year - 2015
Publication title -
proceedings of the aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9691
Subject(s) - computer science , probabilistic logic , answer set programming , theoretical computer science , propositional calculus , logic programming , model checking , reachability , satisfiability modulo theories , probabilistic ctl , programming language , artificial intelligence , probabilistic analysis of algorithms
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom