892 search results - page 105 / 179 » Strategies in sentential reasoning |
120
Voted
SAT
2005
Springer
15 years 6 months 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...
103
click to vote
UIST
2004
ACM
15 years 6 months 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...
108
Voted
ECAI
2004
Springer
15 years 6 months 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...
106
Voted
HOTOS
2003
IEEE
15 years 6 months 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 ...
99
Voted
EGOV
2003
Springer
15 years 6 months 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 ...