528 search results - page 10 / 106 » Transition Logic Revisited |
JACM
2010
15 years 7 days ago
2010
193
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
103
click to vote
ISMVL
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
85
Voted
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q → ...
96
Voted
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...