A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando - Computers, 2021 - mdpi.com
Intelligent and autonomous agents is a subarea of symbolic artificial intelligence where
these agents decide, either reactively or proactively, upon a course of action by reasoning …
these agents decide, either reactively or proactively, upon a course of action by reasoning …
Simulation-based research in information systems: epistemic implications and a review of the status quo
Simulations provide a useful methodological approach for studying the behavior of complex
socio-technical information systems (IS), in which humans and IT artifacts interact to process …
socio-technical information systems (IS), in which humans and IT artifacts interact to process …
Formal verification of neural agents in non-deterministic environments
We introduce a model for agent-environment systems where the agents are implemented via
feed-forward ReLU neural networks and the environment is non-deterministic. We study the …
feed-forward ReLU neural networks and the environment is non-deterministic. We study the …
An agent programming manifesto
B Logan - International Journal of Agent-Oriented Software …, 2018 - inderscienceonline.com
There has been considerable progress in both the theory and practice of agent
programming since Georgeff and Rao's seminal work on the belief-desire-intention …
programming since Georgeff and Rao's seminal work on the belief-desire-intention …
[PDF][PDF] Verifying multi-agent systems by model checking three-valued abstractions
A Lomuscio, J Michaliszyn - … of the 2015 International Conference on …, 2015 - ifaamas.org
We develop the theoretical foundations of a predicate abstraction methodology for the
verification of multi-agent systems. We put forward a specification language based on …
verification of multi-agent systems. We put forward a specification language based on …
Modelling and verifying BDI agents with bigraphs
Abstract The Belief-Desire-Intention (BDI) architecture is a popular framework for rational
agents; existing verification approaches either directly encode simplified (eg lacking features …
agents; existing verification approaches either directly encode simplified (eg lacking features …
Collision Avoidance Verification of Multiagent Systems With Learned Policies
For many multiagent control problems, neural networks (NNs) have enabled promising new
capabilities. However, many of these systems lack formal guarantees (eg, collision …
capabilities. However, many of these systems lack formal guarantees (eg, collision …
Second chance: A hybrid approach for dynamic result caching and prefetching in search engines
R Ozcan, IS Altingovde, BB Cambazoglu… - ACM Transactions on …, 2013 - dl.acm.org
Web search engines are known to cache the results of previously issued queries. The stored
results typically contain the document summaries and some data that is used to construct the …
results typically contain the document summaries and some data that is used to construct the …
[PDF][PDF] A Review of Agent-Based Programming for Multi-Agent Systems. Computers 2021, 10, 16
RC Cardoso, A Ferrando - 2021 - drive.google.com
Intelligent and autonomous agents is a subarea of symbolic artificial intelligence where
these agents decide, either reactively or proactively, upon a course of action by reasoning …
these agents decide, either reactively or proactively, upon a course of action by reasoning …
Programming deliberation strategies in meta-APL
S Leask, B Logan - PRIMA 2015: Principles and Practice of Multi-Agent …, 2015 - Springer
A key advantage of BDI-based agent programming is that agents can deliberate about which
course of action to adopt to achieve a goal or respond to an event. However, while state-of …
course of action to adopt to achieve a goal or respond to an event. However, while state-of …