Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,613,469 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
AgentSpeak
Artificial intelligence
Australian Artificial Intelligence Institute
Belief–desire–intention software model
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Explaining Rebel Behavior in Goal Reasoning Agents
Dustin Dannenhauer
,
Michael W. Floyd
,
Daniele Magazzeni
,
D. Aha
2018
Corpus ID: 264820037
Generating human-comprehensible explanations is an important requirement for autonomous systems in human-agent teaming…
Expand
2017
2017
The HERA approach to morally competent robots
F. Lindner
,
Marte Bentzen
,
Bernhard Nebel
IEEE/RJS International Conference on Intelligent…
2017
Corpus ID: 31046821
To address the requirement for autonomous moral decision making, we introduce a software library for modeling hybrid ethical…
Expand
2013
2013
Jason agents in Java EE environments
Dejan Mitrovic
,
M. Ivanović
,
C. Bǎdicǎ
International Conference on System Theory…
2013
Corpus ID: 8058543
Enterprise edition of the Java platform has been endorsed by small and large enterprises, as it enables the development of large…
Expand
2007
2007
Modeling Cooperative Multi-Agent Systems
G. Gelfond
,
Richard Watson
2007
Corpus ID: 15868950
Current work in the application of answer-set programming for the development of reasoning agents has largely focused on…
Expand
2006
2006
Comprehending software correctness implies comprehending an intelligence-related limitation
A. Charlesworth
TOCL
2006
Corpus ID: 15852640
This article applies mathematical logic to obtain a rigorous foundation for previous inherently nonrigorous results and also…
Expand
1996
1996
A profile of the Australian Artificial Intelligence Institute [World Impact]
M. Georgeff
,
Anand Srinivasa Rao
IEEE Expert
1996
Corpus ID: 34155482
architectures. To make the theory of BDI agents more practical, we need the notion of plans supplied in advance, rather than…
Expand
1994
1994
A Decision Procedure for a Temporal Belief Logic
M. Wooldridge
,
Michael Fisher
International Conference on Temporal Logic
1994
Corpus ID: 3413653
This paper presents a temporal belief logic called \(\mathcal{L}_{TB}\). In addition to the usual connectives of linear discrete…
Expand
Highly Cited
1994
Highly Cited
1994
M: an architecture of integrated agents
D. Riecken
CACM
1994
Corpus ID: 18754749
integrated Of Agents he study of software agents has resulted in a diverse set of views and realizations. One such view has…
Expand
Highly Cited
1988
Highly Cited
1988
KBRA: A new paradigm for requirements engineering
A. Czuchry
,
David R. Harris
IEEE Expert
1988
Corpus ID: 26164609
The authors present a knowledge-based requirements assistant (KBRA) that is a component of the knowledge-based software assistant…
Expand
Highly Cited
1986
Highly Cited
1986
Important issues in knowledge representation
W. Woods
Proceedings of the IEEE
1986
Corpus ID: 7363835
This paper discusses a number of important issues that drive knowledge representation research. It begins by considering the…
Expand
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)
ACCEPT & CONTINUE