3776 search results - page 516 / 756 » Partition-Based Logical Reasoning |
149
Voted
RWEB
2010
Springer
15 years 9 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...
135
click to vote
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...
213
Voted
ISSTA
2012
ACM
13 years 4 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...
216
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 ...
130
Voted
TPHOL
2008
IEEE
15 years 8 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...