3776 search results - page 516 / 756 » Partition-Based Logical Reasoning |
149
click to vote
RWEB
2010
Springer
15 years 11 days ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
137
Voted
DLOG
2011
14 years 6 months ago
2011
We analyze the complexity of subsumption in probabilistic variants of the description logic EL. In the case where probabilities apply only to concepts, we map out the borderline be...
217
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
219
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
133
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...