Proving BDI Properties of Agent-Oriented Programming Languages (English)
- New search for: Bordini, R. H.
- New search for: Moreira, A. F.
- New search for: Bordini, R. H.
- New search for: Moreira, A. F.
In:
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
;
42
, 1/3
;
197-226
;
2004
-
ISSN:
- Article (Journal) / Print
-
Title:Proving BDI Properties of Agent-Oriented Programming Languages
-
Contributors:Bordini, R. H. ( author ) / Moreira, A. F. ( author )
-
Published in:ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE ; 42, 1/3 ; 197-226
-
Publisher:
- New search for: Kluwer Academic Publishers
-
Publication date:2004-01-01
-
Size:30 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 006.3
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 006.3 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 42, Issue 1/3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
IntroductionDix, Jürgen / Leite, João / Satoh, Ken et al. | 2004
- 5
-
Multi-Agent Dynamic Logics with Informational TestSchmidt, Renate A. / Tishkovsky, Dmitry et al. | 2004
- 37
-
Logical Preference Representation and Combinatorial VoteLang, Jérôme et al. | 2004
- 73
-
Representing von Neumann–Morgenstern Games in the Situation CalculusSchulte, Oliver / Delgrande, James et al. | 2004
- 103
-
Extending Answer Sets for Logic Programming AgentsDe Vos, M. / Vermeir, D. et al. | 2004
- 141
-
Algebras for Agent Norm-RegulationOdelstad, J. / Boman, M. et al. | 2004
- 167
-
Agents via Mixed-Mode Computation in Linear LogicHarland, James / Winikoff, Michael et al. | 2004
- 197
-
Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)Bordini, Rafael H. / Moreira, Álvaro F. et al. | 2004
- 197
-
Proving BDI Properties of Agent-Oriented Programming LanguagesBordini, R. H. / Moreira, A. F. et al. | 2004
- 227
-
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing ProtocolsYolum, Pınar / Singh, Munindar P. et al. | 2004
- 255
-
Speculative Computation Through Consequence-Finding in Multi-Agent EnvironmentsInoue, Katsumi / Iwanuma, Koji et al. | 2004
- 293
-
Computational Logic in Multi-Agent Systems: Recent Advances and Future DirectionsTorroni, Paolo et al. | 2004
- 307
-
Volume Contents| 2004