Works matching IS 02182130 AND DT 2001 AND VI 10 AND IP 4


Results: 13
    1
    2

    Multiresolution for SAT Checking.

    Published in:
    International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 451, doi. 10.1142/S0218213001000611
    By:
    • Chatalic, Philippe;
    • Simon, Laurent
    Publication type:
    Article
    3

    Heuristics for a Default Logic Reasoning System.

    Published in:
    International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 503, doi. 10.1142/S0218213001000635
    By:
    • Nicolas, Pascal;
    • Saubion, Frédéric;
    • Stéphan, Igor
    Publication type:
    Article
    4
    5
    6
    7

    Efficient Defeasible Reasoning Systems.

    Published in:
    International Journal on Artificial Intelligence Tools, 2001, v. 10, n. 4, p. 483, doi. 10.1142/S0218213001000623
    By:
    • Maher, Michael J.;
    • Rock, Andrew;
    • Antoniou, Grigoris;
    • Billington, David;
    • Miller, Tristan
    Publication type:
    Article
    8
    9
    10
    11
    12
    13