Παρακολούθηση
Rafael H. Bordini
Rafael H. Bordini
School of Technology, PUCRS
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα pucrs.br - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Programming multi-agent systems in AgentSpeak using Jason
RH Bordini, JF Hübner, M Wooldridge
John Wiley & Sons, 2007
18952007
Multi-agent programming
RH Bordini, J Dix, AEF Seghrouchni
Springer US, 2009
5602009
Multi-agent oriented programming with JaCaMo
O Boissier, RH Bordini, JF Hübner, A Ricci, A Santi
Science of Computer Programming 78 (6), 747-761, 2013
4802013
A survey of programming languages and platforms for multi-agent systems
RH Bordini, L Braubach, M Dastani, AEF Seghrouchni, JJ Gomez-Sanz, ...
Informatica 30 (1), 2006
4102006
BDI Agent Programming in AgentSpeak Using Jason
RH Bordini, JF Hübner
International workshop on computational logic in multi-agent systems, 143-164, 2005
2502005
Jason and the Golden Fleece of agent-oriented programming
RH Bordini, JF Hübner, R Vieira
Multi-agent programming, 3-37, 2005
2192005
Model checking agentspeak
RH Bordini, M Fisher, C Pardavila, M Wooldridge
Proceedings of the second international joint conference on Autonomous …, 2003
2112003
Verifying multi-agent programs by model checking
RH Bordini, M Fisher, W Visser, M Wooldridge
Autonomous agents and multi-agent systems 12 (2), 239-256, 2006
2092006
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19 (1), 5-63, 2012
1572012
Using BDI agents to improve driver modelling in a commuter scenario
RJF Rossetti, RH Bordini, ALC Bazzan, S Bampi, R Liu, D Van Vliet
Transportation Research Part C: Emerging Technologies 10 (5-6), 373-398, 2002
1412002
AgentSpeak (XL) efficient intention selection in BDI agents via decision-theoretic task scheduling
RH Bordini, ALC Bazzan, R de O. Jannone, DM Basso, RM Vicari, ...
Proceedings of the first international joint conference on Autonomous agents …, 2002
1202002
On the formal semantics of speech-act based communication in an agent-oriented programming language
R Vieira, ÁF Moreira, M Wooldridge, RH Bordini
Journal of Artificial Intelligence Research 29, 221-267, 2007
1152007
Computational logics and agents: a road map of current technologies and future trends
M Fisher, RH Bordini, B Hirsch, P Torroni
Computational Intelligence 23 (1), 61-91, 2007
882007
Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak (L)
RH Bordini, AF Moreira
Annals of Mathematics and Artificial Intelligence 42 (1), 197-226, 2004
872004
Current issues in multi-agent systems development
RH Bordini, M Dastani, M Winikoff
International Workshop on Engineering Societies in the Agents World, 38-61, 2006
792006
Model checking rational agents
RH Bordini, M Fisher, M Wooldridge, W Visser
IEEE Intelligent Systems 19 (5), 46-52, 2004
772004
A system of exchange values to support social interactions in artificial societies
MR Rodrigues, AC da Rocha Costa, RH Bordini
Proceedings of the second international joint conference on Autonomous …, 2003
762003
JASDL: A practical programming approach combining agent and semantic web technologies
T Klapiscak, RH Bordini
International Workshop on Declarative Agent Languages and Technologies, 91-110, 2008
722008
Agent-oriented programming with underlying ontological reasoning
AF Moreira, R Vieira, RH Bordini, JF Hübner
International Workshop on Declarative Agent Languages and Technologies, 155-170, 2005
712005
Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication
ÁF Moreira, R Vieira, RH Bordini
International Workshop on Declarative Agent Languages and Technologies, 135-154, 2003
712003
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20