AAAAAA
Results:
1-8
|
Results: 8
Authors:
Marti-Oliet, N
Meseguer, J
Citation: N. Marti-oliet et J. Meseguer, Action and change in rewriting logic, APPL LOG S, 12, 1999, pp. 1-53
Authors:
Wollowski, M
Hammer, E
Citation: M. Wollowski et E. Hammer, Heterogeneous systems for modeling dynamic worlds, APPL LOG S, 12, 1999, pp. 55-72
Authors:
Baral, C
Gelfond, M
Watson, R
Citation: C. Baral et al., Reasoning about actual and hypothetical occurrences of concurrent and non-deterministic actions, APPL LOG S, 12, 1999, pp. 73-109
Authors:
Gabbay, DM
Citation: Dm. Gabbay, Compromise update and revision: A position paper, APPL LOG S, 12, 1999, pp. 111-148
Authors:
Dargam, FCC
Citation: Fcc. Dargam, A compromise revision model for reconciling updates, APPL LOG S, 12, 1999, pp. 149-194
Authors:
Lin, JX
Mendelzon, AO
Citation: Jx. Lin et Ao. Mendelzon, Knowledge base merging by majority, APPL LOG S, 12, 1999, pp. 195-218
Authors:
Bertino, E
Guerrini, G
Rusca, L
Citation: E. Bertino et al., Object evolution in object databases, APPL LOG S, 12, 1999, pp. 219-246
Authors:
Reimer, U
Margelisch, A
Novotny, B
Citation: U. Reimer et al., Making knowledge-based systems more manageable: A hybrid integration approach to knowledge about actions and their legality, APPL LOG S, 12, 1999, pp. 247-282
Risultati:
1-8
|