5198 search results - page 176 / 1040 » A Logic of Agent Programs |
113
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
162
click to vote
AIA
2006
15 years 5 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
131
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
133
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
140
click to vote
SLP
1994
15 years 5 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...