Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus / DE GIACOMO, Giuseppe; HECTOR J., Levesque; Yves, Lesperance. - STAMPA. - (1997), pp. 1221-1226.
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
DE GIACOMO, Giuseppe;
1997
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.