5198 search results - page 86 / 1040 » A Logic of Agent Programs |
TOOLS
1999
IEEE
15 years 3 months ago
1999
IEEE
ICALP
1992
Springer
15 years 3 months ago
1992
Springer
AAAI
2008
15 years 1 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...
IAT
2009
IEEE
15 years 6 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...
124
click to vote
LPNMR
2001
Springer
15 years 3 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...