892 search results - page 105 / 179 » Strategies in sentential reasoning |
185
click to vote
SAT
2005
Springer
16 years 8 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
160
click to vote
UIST
2004
ACM
16 years 6 days ago
2004
ACM
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...
174
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
187
click to vote
HOTOS
2003
IEEE
16 years 2 days ago
2003
IEEE
Peer-to-peer storage aims to build large-scale, reliable and available storage from many small-scale unreliable, low-availability distributed hosts. Data redundancy is the key to ...
180
click to vote
EGOV
2003
Springer
16 years 16 hour ago
2003
Springer
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...