RELSAT

AcronymDefinition
RELSATRelay Satellite
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
alpha Argumentative 4 8.39 1.74 .82 Mutually Argumentative 4 7.71 2.18 .86 Civility 10 6.62 1.83 .83 Overall Importance 8 5.78 2.07 .84 I demand, other withdraw 4 3.54 2.42 .88 Other demand, I withdraw 4 3.01 2.31 .91 Distributive Tactics 6 4.40 2.37 .89 Integrative Tactics 5 6.18 2.32 .88 Satisfaction at End 4 6.19 2.47 .87 Resolved at End 3 6.09 2.56 .72 Effect on Relationship 2 4.19 2.64 .85 RelSat before Argument 6 6.83 2.70 .88 RelSat after Argument 6 6.58 2.45 .90 Make Self Look Good 2 4.44 2.27 .71 Make Self Look Bad 2 4.17 2.44 .82 Utility 2 4.64 2.61 .71 mTurk Sample Mean S.D.
(1997) Leake, Kinley, and Wilson (1996) (see also multistrategy) Planning Applications Analytic Plan Space Compilation Learning (CSP / SAT / IP) Static Domain Smith and Peot Analysis and (1993) [SNLP] Abstractions Gerevini and Schubert (1996) [UCPOP] Explanation-Based Chien (1989) Wolfman and Weld Learning (EBL) (1999) LPSAT Kambhampati, [RELSAT] Katukam, and Qu (1996) UCPOP-EBL Nogood Learning Kautz and Selman (1999) BLACKBOX (using RELSAT) Do and Kambhapati (2001) GP-CSP [GRAPHPlan] Analogical Case-Based CBR Derivational Reasoning Ihrig and Kambhampati (1996) [UCPOP] With EBL Ihrig and Kambhampati (1997) [UCPOP] Table 3B.
The newest version of BLACKBOX includes an additional solver, RELSAT (Bayardo and Schrag 1997), based on dependency-directed backtracking as well as a technique for reducing the size of the CNF encodings by suppressing the generation of clauses that are logically redundant.