AAAAAA
Results:
1-9
|
Results: 9
Authors:
LIN FZ
LEVESQUE HJ
Citation: Fz. Lin et Hj. Levesque, WHAT ROBOTS CAN DO - ROBOT PROGRAMS AND EFFECTIVE ACHIEVABILITY, Artificial intelligence, 101(1-2), 1998, pp. 201-226
Authors:
LEVESQUE HJ
REITER R
LESPERANCE Y
LIN FZ
SCHERL RB
Citation: Hj. Levesque et al., GOLOG - A LOGIC PROGRAMMING LANGUAGE FOR DYNAMIC DOMAINS, The journal of logic programming, 31(1-3), 1997, pp. 59-83
Authors:
SELMAN B
LEVESQUE HJ
Citation: B. Selman et Hj. Levesque, SUPPORT SET SELECTION FOR ABDUCTIVE AND DEFAULT REASONING, Artificial intelligence, 82(1-2), 1996, pp. 259-272
Authors:
SELMAN B
MITCHELL DG
LEVESQUE HJ
Citation: B. Selman et al., GENERATING HARD SATISFIABILITY PROBLEMS, Artificial intelligence, 81(1-2), 1996, pp. 17-29
Authors:
MITCHELL DG
LEVESQUE HJ
Citation: Dg. Mitchell et Hj. Levesque, SOME PITFALLS FOR EXPERIMENTERS WITH RANDOM SAT, Artificial intelligence, 81(1-2), 1996, pp. 111-125
Authors:
BRACHMAN RJ
LEVESQUE HJ
Citation: Rj. Brachman et Hj. Levesque, UNDIRECTED BEHAVIOR WITHOUT UNBOUNDED SEARCH, ACM computing surveys, 27(3), 1995, pp. 314-316
Authors:
LESPERANCE Y
LEVESQUE HJ
Citation: Y. Lesperance et Hj. Levesque, INDEXICAL KNOWLEDGE AND ROBOT ACTION - A LOGICAL ACCOUNT, Artificial intelligence, 73(1-2), 1995, pp. 69-115
Authors:
COHEN PR
LEVESQUE HJ
Citation: Pr. Cohen et Hj. Levesque, PRELIMINARIES TO A COLLABORATIVE MODEL OF DIALOG, Speech communication, 15(3-4), 1994, pp. 265-274
Authors:
SELMAN B
LEVESQUE HJ
Citation: B. Selman et Hj. Levesque, THE COMPLEXITY OF PATH-BASED DEFEASIBLE INHERITANCE, Artificial intelligence, 62(2), 1993, pp. 303-339
Risultati:
1-9
|