2038 search results - page 95 / 408 » Probabilistic Agent Programs |
225
click to vote
DALT
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
258
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
188
click to vote
JELIA
2004
Springer
16 years 23 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
159
Voted
ICALP
2010
Springer
16 years 6 days ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
208
Voted
AAMAS
2000
Springer
15 years 7 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...