Karen L. Myers.Hybrid reasoning using universal attachment. Intelligence , (67):329--375, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Procedural Reasoning in Constraint Satisfaction - Jónsson (1997) (Correct)
....evaluation [16] where the attachment is simply a function that calculates values for predicates, given ground values for the arguments. The scope of this idea has since been broadened significantly, as can be seen in the most recent framework which defines the concept of universal attachments [29]. These can be attached to any expression in a first order language, allowing the evaluation of a whole formula, as soon as each open variable in that formula has been given a value. The result returned by the attachment is then substituted for the original term or formula, usually resulting in a ....
Karen L. Myers. Hybrid reasoning using universal attachment. Artificial Intelligence, 67:329--375, 1994.
Dynamic Backtracking - Ginsberg, Crawford, Etherington (1996) (40 citations) (Correct)
....since we end up using search to do simple things like arithmetic. To use the procedures themselves, two approaches have been used in the past. One has been to rewrite the search engine, adding the procedure as part of the search mechanism. The other is to use procedural attachments [32] see [54] for a description of procedural attachments) functions that a solver can call to directly calculate the value of certain variables. Both solutions have their problems. The drawbacks of rewriting the solver each time we have a new technique to add, are many and obvious. ffl It becomes almost ....
K. L. Myers. Hybrid reasoning using universal attachment. Artificial Intelligence, 67:329--375, 1994.
A Model of Multimedia Information Retrieval - Meghini, Sebastiani, Straccia (2001) (9 citations) (Correct)
....practical point of view, it results in interpreting every occurrence of the SPSs in question not as the occurrence of an uninterpreted role, but as a call to a routine that captures the desired image processing technique. In knowledge representation, this would be called a procedural attachment [53]. Finally, from an implementation point of view, these routines may be realized as true software modules that strictly implement the intended interpretation, or maybe approximated by means of other devices, for instance for efficiency reasons. Typically, a global similarity SPS will belong to the ....
K. L. Myers. Hybrid reasoning using universal attachment. Artificial Intelligence, 67:329--375, 1994.
Procedural Reasoning in Constraint Satisfaction - Jónsson, Ginsberg (1996) (6 citations) (Correct)
....constraint types will in most cases break them. In an automated reasoning system, flexibility is a crucial attribute. ffl Without theoretical analysis, a search engine incorporating a number of additional algorithms 2 A recent article provides a good description of procedural attachments [Myers, 1994]. may not have the properties that were expected. For example, some search engines that use the pure literal rule become incomplete when combined with a symmetry breaking algorithm [Crawford et al. 1996] The only advantage of specialized implementations is that clever coding can minimize the ....
Karen L. Myers. Hybrid reasoning using universal attachment. Artificial Intelligence, 67:329--375, 1994.
Reasoning about Locations in Theory and Practice - Myers, Wilkins (1997) (1 citation) Self-citation (Myers) (Correct)
....locational reasoning, rather than defining a specialized locational reasoning system. One key reason for doing so is to enable modeling of complex interactions between locational and non locational predicates, which would be difficult to support with a distinct module for locational reasoning [22]. The location of an object at a given state in an evolving plan can be impacted by various operations of the planner. One such operation is the insertion of a new goal or action into a plan. In particular, the goal or action may directly change the location of an object (e.g. a MOVE 19 Problem ....
K. L. Myers. Hybrid reasoning using universal attachment. Artificial Intelligence, 67:329--375, 1994.
Foundations of a Logic basc approach to Multimedia.. - Zur Erlangungdl Gradg (Correct)
No context found.
Karen L. Myers.Hybrid reasoning using universal attachment. Intelligence , (67):329--375, 1994.
A Logical Approach to Quality of Service Specification in Video.. - Bertino (2004) (Correct)
No context found.
K.L. Myers, "Hybrid reasoning using universal attachment," Artificial Intelligence, No. 67, pp. 329--375, 1994.
Quality of Service Specification in Video Databases - Elisa Bertino Tiziana (Correct)
No context found.
Karen L. Myers. Hybrid Reasoning Using Universal Attachment. Artificial Intelligence, (67):329--375, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC