Sciweavers

1302 search results - page 12 / 261
» Deductive Plan Generation
Sort
View
ICDE
1999
IEEE
113views Database» more  ICDE 1999»
14 years 8 months ago
Capability-Sensitive Query Processing on Internet Sources
On the Internet, the limited query-processing capabilities of sources make answering even the simplest queries challenging. In this paper, we present a scheme called GenCompact fo...
Hector Garcia-Molina, Wilburt Labio, Ramana Yernen...
ICRA
1998
IEEE
92views Robotics» more  ICRA 1998»
13 years 11 months ago
Micro Planning for Mechanical Assembly Operations
Signi cant advances have been made in the area of macro planning for assembly operations i.e., dividing a product into sub-assemblies, determining the sequence of assembly operati...
S. K. Gupta, Christiaan J. J. Paredis, P. F. Brown
ICAIL
2009
ACM
14 years 2 months ago
Coherence-driven argumentation to norm consensus
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
Sindhu Joseph, Henry Prakken
AIPS
2009
13 years 8 months ago
The Influence of k-Dependence on the Complexity of Planning
A planning problem is k-dependent if each action has at most k pre-conditions on variables unaffected by the action. This concept is well-founded since k is a constant for all but...
Omer Giménez, Anders Jonsson
BTW
2009
Springer
99views Database» more  BTW 2009»
13 years 10 months ago
A Framework for Reasoning about Share Equivalence and Its Integration into a Plan Generator
: Very recently, Cao et al. presented the MAPLE approach, which accelerates queries with multiple instances of the same relation by sharing their scan operator. The principal idea ...
Thomas Neumann, Guido Moerkotte