913 search results - page 105 / 183 » Formal Agent Development: Framework to System |
144
click to vote
AAAI
2008
15 years 6 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
143
click to vote
IWFM
2000
15 years 5 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
138
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
138
click to vote
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
144
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...