-
1
-
-
84880895882
-
Decision-theoretic, high-level agent programming in the situation calculus
-
C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI-2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000.
-
(2000)
AAAI-2000, 17th National Conference on Artificial Intelligence, Austin, Texas
-
-
Boutilier, C.1
Reiter, R.2
Soutchanski, M.3
Thrun, S.4
-
2
-
-
0342520920
-
ConGolog, a concurrent programming language based on the situation calculus
-
G. de Giacomo, Y. Lespérance, and H.J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
-
(2000)
Artificial Intelligence
, vol.121
, Issue.1-2
, pp. 109-169
-
-
De Giacomo, G.1
Lespérance, Y.2
Levesque, H.J.3
-
4
-
-
0034829384
-
Model checking early requirements specifications in Tropos
-
August 27-31
-
A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in Tropos. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada, August 27-31 2001.
-
(2001)
Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada
-
-
Fuxman, A.1
Pistore, M.2
Mylopoulos, J.3
Traverso, P.4
-
5
-
-
0034829309
-
Requirements modeling for organization networks: A (dis-) trust-based approach
-
Toronto, Canada, August
-
G. Gans, M. Jarke, S. Kethers, G. Lakemeyer, L. Ellrich, C. Funken, and M. Meister. Requirements modeling for organization networks: A (dis-) trust-based approach. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE01), pages 154-163, Toronto, Canada, August 2001.
-
(2001)
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE01)
, pp. 154-163
-
-
Gans, G.1
Jarke, M.2
Kethers, S.3
Lakemeyer, G.4
Ellrich, L.5
Funken, C.6
Meister, M.7
-
6
-
-
78649324136
-
SNet: A modeling and simulation environment for agent networks based on i* and ConGolog
-
Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE02), Toronto, Canada, May
-
G. Gans, M. Jarke, G. Lakemeyer, and T. Vits. SNet: A modeling and simulation environment for agent networks based on i* and ConGolog. In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE02), LNCS 2348, pages 328-343, Toronto, Canada, May 2002.
-
(2002)
LNCS
, vol.2348
, pp. 328-343
-
-
Gans, G.1
Jarke, M.2
Lakemeyer, G.3
Vits, T.4
-
7
-
-
0029260852
-
ConceptBase - A deductive object base for meta data management
-
Advances in Deductive Object-Oriented Databases
-
M. Jarke, S. Eherer, R. Gallersdörfer, M. A. Jeusfeld, and M. Staudt. ConceptBase - a deductive object base for meta data management. Journal of Intelligent Information Systems, Special Issue on Advances in Deductive Object-Oriented Databases, 4(2):167-192, 1995.
-
(1995)
Journal of Intelligent Information Systems
, vol.4
, Issue.2 SPEC. ISSUE
, pp. 167-192
-
-
Jarke, M.1
Eherer, S.2
Gallersdörfer, R.3
Jeusfeld, M.A.4
Staudt, M.5
-
9
-
-
35248888350
-
Mediengestütztes Anforderungsmanagement
-
M. Jarke and H. C. Mayr. Mediengestütztes Anforderungsmanagement. Informatik Spektrum, 25(6):452-464, 2002.
-
(2002)
Informatik Spektrum
, vol.25
, Issue.6
, pp. 452-464
-
-
Jarke, M.1
Mayr, H.C.2
-
10
-
-
84942752608
-
Foundations of a logical approach to agent programming
-
Y. Lespérance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a logical approach to agent programming. In ATAL-95, Intelligent Agents II. Workshop on Agent Theories, Architectures, and Languages, 1995.
-
(1995)
ATAL-95, Intelligent Agents II. Workshop on Agent Theories, Architectures, and Languages
-
-
Lespérance, Y.1
Levesque, H.J.2
Lin, F.3
Marcu, D.4
Reiter, R.5
Scherl, R.B.6
-
11
-
-
0031126053
-
Golog: A logic programming language for dynamic domains
-
H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1):59-84, 1997.
-
(1997)
Journal of Logic Programming
, vol.31
, Issue.1
, pp. 59-84
-
-
Levesque, H.J.1
Reiter, R.2
Lespérance, Y.3
Lin, F.4
Scherl, R.5
-
14
-
-
0004292566
-
-
Reprinted Minsky, M.(ed.): MIT Press
-
Reprinted 1968 in Minsky, M.(ed.): Semantic Information Processing, MIT Press.
-
(1968)
Semantic Information Processing
-
-
-
15
-
-
0006240332
-
INCOME/STAR: Methodology and tools for the development of distributed information systems
-
A. Oberweis, G. Scherrer, and W. Stucky. INCOME/STAR: Methodology and tools for the development of distributed information systems. Information Systems, 19(8):643-660, 1994.
-
(1994)
Information Systems
, vol.19
, Issue.8
, pp. 643-660
-
-
Oberweis, A.1
Scherrer, G.2
Stucky, W.3
-
16
-
-
21244444316
-
Simulating the impact of information flows on networked organizations
-
Cleveland, Ohio, USA, December
-
P. Peters and M. Jarke. Simulating the impact of information flows on networked organizations. In Proceedings of the 17th International Conference on Information Systems, Cleveland, Ohio, USA, pages 421-439, December 1996.
-
(1996)
Proceedings of the 17th International Conference on Information Systems
, pp. 421-439
-
-
Peters, P.1
Jarke, M.2
-
19
-
-
0036356177
-
Electronic markets for architects - The architecture of electronic markets
-
M. Schoop. Electronic markets for architects - the architecture of electronic markets. Information Systems Frontiers, 4(3):285-302, 2002.
-
(2002)
Information Systems Frontiers
, vol.4
, Issue.3
, pp. 285-302
-
-
Schoop, M.1
-
20
-
-
0010221403
-
Specifying communicative multi-agent systems with congolog
-
Cambridge, MA, Novemeber AAAI Press
-
S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying communicative multi-agent systems with congolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 72-82, Cambridge, MA, Novemeber 1997. AAAI Press.
-
(1997)
Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines
, pp. 72-82
-
-
Shapiro, S.1
Lespérance, Y.2
Levesque, H.J.3
-
21
-
-
0035479865
-
Doc.com: A framework for effective negotiation support in electronic marketplaces
-
M. Schoop and C. Quix. Doc.com: a framework for effective negotiation support in electronic marketplaces. Computer Networks, 37(2):153-170, 2001.
-
(2001)
Computer Networks
, vol.37
, Issue.2
, pp. 153-170
-
-
Schoop, M.1
Quix, C.2
-
24
-
-
0141693389
-
Modelling trust in the i* strategic actors framework
-
June 3-4
-
E. Yu and L. Liu. Modelling trust in the i* strategic actors framework. In Proceedings of the 3rd Workshop on Deception, Fraud and Trust in Agent Societies, Barcelona, Catalonia, Spain (at Agents2000), June 3-4 2000.
-
(2000)
Proceedings of the 3rd Workshop on Deception, Fraud and Trust in Agent Societies, Barcelona, Catalonia, Spain (at Agents2000)
-
-
Yu, E.1
Liu, L.2
|