-
1
-
-
0007093917
-
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
-
Springer
-
J. W. de Bakker, W.-P. de Roever and G. Rozenberg (eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer, 1989.
-
(1989)
LNCS
, vol.354
-
-
de Bakker, J.W.1
de Roever, W.-P.2
Rozenberg, G.3
-
3
-
-
84949297202
-
Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments
-
(P. Ciancarini and M. Wooldridge, eds.), LNCS 1957, Springer
-
C. M. Jonker, J. Treur and W. de Vries, “Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments”, in: Agent-Oriented Software Engineering, First International Workshop (AOSE-2000), (P. Ciancarini and M. Wooldridge, eds.), LNCS 1957, Springer, 2001.
-
(2001)
Agent-Oriented Software Engineering, First International Workshop (AOSE-2000)
-
-
Jonker, C.M.1
Treur, J.2
de Vries, W.3
-
4
-
-
0033478151
-
Agent Programming in 3APL
-
K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, “Agent Programming in 3APL”, Autonomous Agents and Multi-Agent Systems, 2 (1999), pp. 357–401.
-
(1999)
Autonomous Agents and Multi-Agent Systems
, vol.2
, pp. 357-401
-
-
Hindriks, K.V.1
de Boer, F.S.2
van der Hoek, W.3
Meyer, J.-J.C.4
-
5
-
-
0024929683
-
Step Semantics for ‘True’ Concurrency with Recursion
-
J.-J. Ch. Meyer and E. P. de Vink, “Step Semantics for ‘True’ Concurrency with Recursion”, Distributed Computing 3 (1989), pp. 130–145.
-
(1989)
Distributed Computing
, vol.3
, pp. 130-145
-
-
Meyer, J.-J.C.1
de Vink, E.P.2
-
6
-
-
0011725182
-
Control Architectures for Autonomous and Interacting Agents: A Survey
-
(L. Cavedon, A. Rao, W. Wobcke, eds.), LNCS 1209, Springer
-
J. Müller, “Control Architectures for Autonomous and Interacting Agents: A Survey”, in Intelligent Agent Systems: Theoretical and Practical Issues, (L. Cavedon, A. Rao, W. Wobcke, eds.), LNCS 1209, Springer, 1996, pp. 1–26.
-
(1996)
Intelligent Agent Systems: Theoretical and Practical Issues
, pp. 1-26
-
-
Müller, J.1
-
7
-
-
8444249030
-
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
-
(W. van der Velde and J. W. Perram, eds.), LNAI 1038, Springer
-
A. S. Rao, “AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language”, in Agents Breaking Away, (W. van der Velde and J. W. Perram, eds.), LNAI 1038, Springer, 1995, pp. 341–354.
-
(1995)
Agents Breaking Away
, pp. 341-354
-
-
Rao, A.S.1
-
8
-
-
40849110895
-
Non-monotonic Temporal Reasoning
-
Epistemic and Temporal Reasoning, (D. M. Gabbay, C. J. Hogger, J. A. Robinson, eds.), Clarendon Press, Oxford
-
E. Sandewall and Y. Shoham, “Non-monotonic Temporal Reasoning”, in Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4 on Epistemic and Temporal Reasoning, (D. M. Gabbay, C. J. Hogger, J. A. Robinson, eds.), Clarendon Press, Oxford, 1995.
-
(1995)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.4
-
-
Sandewall, E.1
Shoham, Y.2
-
9
-
-
0027560432
-
Agent-Oriented Programming
-
Y. Shoham, “Agent-Oriented Programming”, Artificial Intelligence 60 (1993), pp. 51–92.
-
(1993)
Artificial Intelligence
, vol.60
, pp. 51-92
-
-
Shoham, Y.1
|