3134 search results - page 5 / 627 » Computing full disjunctions |
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
FLAIRS
2007
14 years 3 days ago
2007
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...
AIPS
2009
13 years 11 months ago
2009
This paper describes a novel and competitive complete conformant planner. Key to the enhanced performance is an efficient encoding of belief states as disjunctive normal form form...