74 search results - page 10 / 15 » On the Multimodal Logic of Normative Systems |
114
click to vote
ICAIL
2009
ACM
15 years 6 months ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
97
Voted
BIRTHDAY
2010
Springer
14 years 12 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
102
Voted
IGPL
2010
14 years 9 months ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
123
Voted
SOCROB
2010
14 years 10 months ago
2010
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...
111
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...