5198 search results - page 308 / 1040 » A Logic of Agent Programs |
182
click to vote
AAAI
2008
15 years 9 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
175
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Modular robots represent a perfect application scenario for multiagent coordination. The autonomous modules composing the robot must coordinate their respective activities to enfor...
163
click to vote
AOIS
2003
15 years 8 months ago
2003
Abstract. This paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of their tasks. The agent is based on the w...
199
Voted
DLOG
2007
15 years 9 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
147
click to vote
AAAI
2000
15 years 8 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...