Works matching DE "LOGIC machines"


Results: 144
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10

    Adaptive Model Checking.

    Published in:
    Logic Journal of the IGPL, 2006, v. 14, n. 5, p. 729, doi. 10.1093/jigpal/jzl007
    By:
    • Groce, Alex;
    • Peled, Doron;
    • Yannakakis, Mihalis
    Publication type:
    Article
    11
    12

    Towards a Logic of Rational Agency.

    Published in:
    Logic Journal of the IGPL, 2003, v. 11, n. 2, p. 135, doi. 10.1093/jigpal/11.2.135
    By:
    • van der Hoek, Wiebe;
    • Wooldridge, Michael
    Publication type:
    Article
    13
    14

    The Author Responds….

    Published in:
    TESOL Quarterly, 1987, v. 21, n. 4, p. 784, doi. 10.2307/3586998
    By:
    • Higgins, John
    Publication type:
    Article
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26

    Mechanisms for Multi-Unit Auctions.

    Published in:
    Journal of Artificial Intelligence Research, 2010, v. 37, p. 85, doi. 10.1613/jair.2950
    By:
    • Dobzinski, Shahar;
    • Nisan, Noam
    Publication type:
    Article
    27

    Generalizing Boolean Satisfiability II: Theory.

    Published in:
    Journal of Artificial Intelligence Research, 2004, v. 22, p. 481, doi. 10.1613/jair.1555
    By:
    • Dixon, Heidi E.;
    • Ginsberg, Matthew L.;
    • Luks, Eugene M.;
    • Parkes, Andrew J.
    Publication type:
    Article
    28

    A Maximal Tractable Class of Soft Constraints.

    Published in:
    Journal of Artificial Intelligence Research, 2004, v. 22, p. 1, doi. 10.1613/jair.1400
    By:
    • Cohen, David;
    • Cooper, Martin;
    • Jeavons, Peter;
    • Krokhin, Andrei
    Publication type:
    Article
    29
    30
    31
    32
    33

    Blurring the boundaries.

    Published in:
    AI EDAM, 2007, v. 21, n. 1, p. 7, doi. 10.1017/S0890060407070047
    By:
    • MARY LOU MAHER
    Publication type:
    Article
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50