Skip to search formSkip to main contentSkip to account menu

Distributed multi-agent reasoning system

In artificial intelligence, the distributed multi-agent reasoning system (dMARS) is a platform for intelligent software agents developed at the AAII… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
AgentSpeakArtificial intelligenceAustralian Artificial Intelligence InstituteBelief–desire–intention software model

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Explaining Rebel Behavior in Goal Reasoning Agents
Generating human-comprehensible explanations is an important requirement for autonomous systems in human-agent teaming… 
2013
2013
Jason agents in Java EE environments
Enterprise edition of the Java platform has been endorsed by small and large enterprises, as it enables the development of large… 
2011
2011
Multi-agent Confidential Abductive Reasoning
In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about their environments, and the… 
2007
2007
Belief change in reasoning agents: axiomatizations, semantics and computations
The capability of changing beliefs upon new information in a rational and effi ci nt way is crucial for an intelligent agent… 
2006
2006
Comprehending software correctness implies comprehending an intelligence-related limitation
This article applies mathematical logic to obtain a rigorous foundation for previous inherently nonrigorous results and also… 
2003
2003
Abstract Architecture for Meta-reasoning in Multi-agent Systems
Agent's meta-reasoning is a computational process that implements agent's capability to reason on a higher level about another… 
2001
2001
Heterogeneous scheduling and rostering
We have designed and implemented a distributed model for planning and scheduling of transports in a railway company which is… 
1994
1994
A Decision Procedure for a Temporal Belief Logic
This paper presents a temporal belief logic called \(\mathcal{L}_{TB}\). In addition to the usual connectives of linear discrete… 
Highly Cited
1994
Highly Cited
1994
M: an architecture of integrated agents
integrated Of Agents he study of software agents has resulted in a diverse set of views and realizations. One such view has… 
Highly Cited
1988
Highly Cited
1988
KBRA: A new paradigm for requirements engineering
The authors present a knowledge-based requirements assistant (KBRA) that is a component of the knowledge-based software assistant… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)