-
1
-
-
33746103354
-
Verifying norm compliancy of protocols
-
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, LNCS
-
H. Aldewereld, J. V. Salceda, F. Dignum, and J.-J. Meyer. Verifying norm compliancy of protocols. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, LNCS/ LNAI, 3913:231-245, 2006.
-
(2006)
LNAI
, vol.3913
, pp. 231-245
-
-
Aldewereld, H.1
Salceda, J.V.2
Dignum, F.3
Meyer, J.-J.4
-
2
-
-
84869105414
-
Do process modelling techniques get better? a comparative ontological analysis of bpmn
-
B. C. J. Un-derwood and D. Bunker, editors, Sydney, Australia
-
J. Becker, M. Indulska, M. Rosemann, and P. Green. Do process modelling techniques get better? a comparative ontological analysis of bpmn. In B. C. J. Un-derwood and D. Bunker, editors, Proceedings 16th Australasian Conference on Information Systems, Sydney, Australia, 2005.
-
(2005)
Proceedings 16th Australasian Conference on Information Systems
-
-
Becker, J.1
Indulska, M.2
Rosemann, M.3
Green, P.4
-
4
-
-
0032682730
-
Autonomous agents with norms
-
F. Dignum. Autonomous agents with norms. Artificial Intelligence and Law, 7(1):69-79, 1999.
-
(1999)
Artificial Intelligence and Law
, vol.7
, Issue.1
, pp. 69-79
-
-
Dignum, F.1
-
5
-
-
83255183831
-
Modelling agent societies: Coordination frameworks and institutions
-
P. Brazdil and A. Jorge eds, Progress in Artificial Intelligence
-
V. Dignum and F. Dignum. Modelling agent societies: Coordination frameworks and institutions. P. Brazdil and A. Jorge (eds.) Progress in Artificial Intelligence, LNAI 2258:191-204, 2001.
-
(2001)
LNAI
, vol.2258
, pp. 191-204
-
-
Dignum, V.1
Dignum, F.2
-
6
-
-
2842560201
-
Strips: A new approach to the application of theorem proving to problem solving
-
R. Fikes and N. Nilsson. Strips: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208, 1971.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.1
Nilsson, N.2
-
7
-
-
37349068508
-
-
Institut fur Informatik, Universitat Zurich
-
N. E. Fuchs, U. Schwertel, and R. Schwitter. Attempto Contrvlled English (ACE), language Manual, Version 2.0. Institut fur Informatik, Universitat Zurich, 1998.
-
(1998)
Attempto Contrvlled English (ACE), language Manual, Version 2.0
-
-
Fuchs, N.E.1
Schwertel, U.2
Schwitter, R.3
-
8
-
-
15744398074
-
Specifying and analyzing early requirements in tropos
-
A. Fuxman, L. Liu, J. Mylopoulos, M. Pistore, M. Roveri, and P. Traverso. Specifying and analyzing early requirements in tropos. Requirements Engineering, 9(2):132150, 2004.
-
(2004)
Requirements Engineering
, vol.9
, Issue.2
, pp. 132150
-
-
Fuxman, A.1
Liu, L.2
Mylopoulos, J.3
Pistore, M.4
Roveri, M.5
Traverso, P.6
-
9
-
-
37349124253
-
-
A. Ghose and G. Koliadis. Actor ecosystems. Technical report, DSLTR2007-05: Decision Systems Lab (DSL), University of Wollongong, 2007.
-
A. Ghose and G. Koliadis. Actor ecosystems. Technical report, DSLTR2007-05: Decision Systems Lab (DSL), University of Wollongong, 2007.
-
-
-
-
11
-
-
0347710961
-
Team oriented programming: Preliminary report, technical
-
Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia
-
G. Tidhar. Team oriented programming: Preliminary report, technical report 41. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.
-
(1993)
-
-
Tidhar, G.1
-
12
-
-
0032203918
-
Managing conflicts in goal-driven requirements engineering
-
A. van Lamsweerde, R. Darimont, and E. Letter. Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering, 24(11):908-926, 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.11
, pp. 908-926
-
-
van Lamsweerde, A.1
Darimont, R.2
Letter, E.3
-
13
-
-
37349106398
-
-
S. White. Business process modeling notation (bpmn),. Technical report, OMG Final Adopted Specification 1.0 (http://www.bpmn.org), February 2006.
-
S. White. Business process modeling notation (bpmn),. Technical report, OMG Final Adopted Specification 1.0 (http://www.bpmn.org), February 2006.
-
-
-
|