The scientist’s investigation covers issues in Programming language, Artificial intelligence, Multi-agent system, Agent-oriented programming and Programming paradigm. His study in Model checking, Fifth-generation programming language, Logic programming, Interpreter and Semantics is carried out as part of his studies in Programming language. In his work, Third-generation programming language is strongly intertwined with Fourth-generation programming language, which is a subfield of Fifth-generation programming language.
As a part of the same scientific family, Rafael H. Bordini mostly works in the field of Multi-agent system, focusing on Intelligent agent and, on occasion, Operations research. His Agent-oriented programming study combines topics from a wide range of disciplines, such as Operational semantics, Formal semantics, Java, Autonomous agent and Concurrent object-oriented programming. His Programming paradigm study which covers Software engineering that intersects with Programming in the large and programming in the small and Software development.
His scientific interests lie mostly in Multi-agent system, Programming language, Artificial intelligence, Software engineering and Interpreter. The various areas that he examines in his Multi-agent system study include Ontology, Situated, Knowledge management and Human–computer interaction. His study in Programming language concentrates on Agent-oriented programming, Fifth-generation programming language, Programming paradigm, Logic programming and Model checking.
His work in Agent-oriented programming addresses subjects such as Operational semantics, which are connected to disciplines such as Semantics. His studies deal with areas such as Ontology and Natural language processing as well as Artificial intelligence. His biological study deals with issues like Formal semantics, which deal with fields such as Semantics of logic.
Rafael H. Bordini mainly investigates Multi-agent system, Software engineering, Human–computer interaction, Distributed computing and Process management. Rafael H. Bordini performs integrative Multi-agent system and Order research in his work. His study in Software engineering is interdisciplinary in nature, drawing from both Ontology, Belief desire intention, Situated, Extension and Programming paradigm.
His Human–computer interaction research includes themes of Intelligent decision support system and Robot programming. His Distributed computing study combines topics in areas such as Testbed and Conceptual model. His research in Formal semantics intersects with topics in Operational semantics, Normative systems and Readability.
His primary areas of study are Multi-agent system, Human–computer interaction, Theory of mind, CONTEST and System development. Many of his research projects under Multi-agent system are closely connected to Perspective with Perspective, tying the diverse disciplines of science together. His Human–computer interaction research includes elements of Formal semantics, Agent architecture, State and Service.
His Formal semantics study incorporates themes from Probability estimation, Operational semantics, Task and Reading. He has included themes like Interpersonal deception theory, Deception and Cognitive science in his Theory of mind study. His research investigates the link between Adversary and topics such as Process management that cross with problems in Context.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Programming Multi-Agent Systems in AgentSpeak using Jason
Rafael H. Bordini;Jomi Fred Hübner;Michael J. Wooldridge.
(2007)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Rafael H. Bordini;Jomi Fred Hübner;Michael Wooldridge.
(2007)
Multi-Agent Programming:
Amal El Fallah Seghrouchni;Jürgen Dix;Mehdi Dastani;Rafael H. Bordini.
Multi-Agent Programming:: Languages (2005)
Multi-Agent Programming: Languages, Tools and Applications
Rafael H. Bordini;Mehdi Dastani;Jürgen Dix;Amal El Fallah Seghrouchni.
New York: Springer, Multiagent systems, artificial societies, and simulated organizations., Vol.15 (2009)
Multi-agent oriented programming with JaCaMo
Olivier Boissier;Rafael H. Bordini;Jomi F. Hübner;Alessandro Ricci.
Science of Computer Programming (2013)
BDI agent programming in agentspeak using Jason
Rafael H. Bordini;Jomi F. Hübner.
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems (2005)
BDI agent programming in agentspeak using Jason
Rafael H. Bordini;Jomi F. Hübner.
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems (2005)
Jason and the Golden Fleece of agent-oriented programming.
Rafael H. Bordini;Jomi Fred Hübner;Renata Vieira.
Bordini, R. H. & Dastani, M. & Dix, J. & El Fallah Seghrouchni, A. (Eds.). Multi-agent programming : languages, platforms and applications. New York: Springer, pp. 3-37, Multiagent Systems, Artificial Societies, and Simulated Organizations(15) (2005)
Model checking agentspeak
Rafael H. Bordini;Michael Fisher;Carmen Pardavila;Michael Wooldridge.
adaptive agents and multi-agents systems (2003)
Verifying Multi-agent Programs by Model Checking
Rafael H. Bordini;Michael Fisher;Willem Visser;Michael Wooldridge.
Autonomous Agents and Multi-Agent Systems (2006)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Oxford
University of Manchester
University of Bologna
Utrecht University
Federal University of Rio Grande do Sul
Amazon (United States)
University of Illinois at Urbana-Champaign
University of Lincoln
Utrecht University
King's College London
University of Pittsburgh
University of Melbourne
Sharif University of Technology
Nanchang University
University of Manchester
Pennsylvania State University
Chinese Academy of Sciences
University of Regensburg
Purdue University West Lafayette
University of South Carolina
Commonwealth Scientific and Industrial Research Organisation
AstraZeneca (United Kingdom)
University of Waterloo
Mayo Clinic
University of California, Los Angeles
Stockholm University