330 search results - page 7 / 66 » Algorithms for Propositional Model Counting |
124
Voted
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
139
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
146
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Online multiplicative weight-update learning algorithms, such as Winnow, have proven to behave remarkably for learning simple disjunctions with few relevant attributes. The aim of ...
134
click to vote
SPIRE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A set of sequences S is pairwise bounded if the Hamming distance between any pair of sequences in S is at most 2d. The Consensus Sequence problem aims to discern between ...
148
click to vote
AAAI
2006
15 years 5 months ago
2006
We present tractable, exact algorithms for learning actions' effects and preconditions in partially observable domains. Our algorithms maintain a propositional logical repres...