5198 search results - page 86 / 1040 » A Logic of Agent Programs |
107
Voted
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
118
Voted
ICALP
1992
Springer
15 years 8 months ago
1992
Springer
115
Voted
AAAI
2008
15 years 6 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
132
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
170
click to vote
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...